Lecture Notes in Computer Science - Formal Methods – The Next 30 Years
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030309411, 9783030309428

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

GR(1)*: GR(1) Specifications Extended with Existential Guarantees

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_7 ◽

2019 ◽

pp. 83-100 ◽

Cited By ~ 2

Author(s):

Gal Amram ◽

Shahar Maoz ◽

Or Pistiner

Download Full-text

Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_4 ◽

2019 ◽

pp. 38-44

Author(s):

Joachim Bard ◽

Heiko Becker ◽

Eva Darulova

Keyword(s):

Roundoff Errors

Download Full-text

Value-Dependent Information-Flow Security on Weak Memory Models

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_32 ◽

2019 ◽

pp. 539-555 ◽

Cited By ~ 2

Author(s):

Graeme Smith ◽

Nicholas Coughlin ◽

Toby Murray

Keyword(s):

Information Flow ◽

Memory Models ◽

Information Flow Security

Download Full-text

Quantitative Verification of Numerical Stability for Kalman Filters

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_26 ◽

2019 ◽

pp. 425-441

Author(s):

Alexandros Evangelidis ◽

David Parker

Keyword(s):

Kalman Filters ◽

Numerical Stability ◽

Quantitative Verification

Download Full-text

Local Consistency Check in Synchronous Dataflow Models

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_24 ◽

2019 ◽

pp. 389-405

Author(s):

Dina Irofti ◽

Paul Dubrulle

Keyword(s):

Consistency Check ◽

Local Consistency ◽

Synchronous Dataflow ◽

Dataflow Models

Download Full-text

Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_3 ◽

2019 ◽

pp. 21-37 ◽

Cited By ~ 2

Author(s):

Mariano M. Moscato ◽

Laura Titolo ◽

Marco A. Feliú ◽

César A. Muñoz

Keyword(s):

Floating Point ◽

Floating Point Implementation

Download Full-text

SOA and the Button Problem

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_40 ◽

2019 ◽

pp. 689-706

Author(s):

Sung-Shik Jongmans ◽

Arjan Lamers ◽

Marko van Eekelen

Download Full-text

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_19 ◽

2019 ◽

pp. 298-315 ◽

Cited By ~ 4

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

David Parker ◽

Gabriel Santos

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Stochastic Games ◽

Probabilistic Model Checking

Download Full-text

GOSPEL—Providing OCaml with a Formal Specification Language

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_29 ◽

2019 ◽

pp. 484-501

Author(s):

Arthur Charguéraud ◽

Jean-Christophe Filliâtre ◽

Cláudio Lourenço ◽

Mário Pereira

Keyword(s):

Formal Specification ◽

Specification Language ◽

Formal Specification Language

Download Full-text

Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_42 ◽

2019 ◽

pp. 727-737

Author(s):

Daniel Silveira ◽

Andreas Jung ◽

Marcel Verhoef ◽

Tiago Jorge

Keyword(s):

Formal Methods ◽

Space Applications ◽

Specification And Implementation

Download Full-text

Lecture Notes in Computer Science - Formal Methods – The Next 30 YearsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

GR(1)*: GR(1) Specifications Extended with Existential Guarantees

Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions

Value-Dependent Information-Flow Security on Weak Memory Models

Quantitative Verification of Numerical Stability for Kalman Filters

Local Consistency Check in Synchronous Dataflow Models

Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm

SOA and the Button Problem

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games

GOSPEL—Providing OCaml with a Formal Specification Language

Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years
Latest Publications