Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642203978, 9783642203985

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Counterexample-Based Error Localization of Behavior Models

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-20398-5_17 ◽

2011 ◽

pp. 222-236 ◽

Cited By ~ 4

Author(s):

Tsutomu Kumazawa ◽

Tetsuo Tamai

Keyword(s):

Error Localization ◽

Behavior Models

Download Full-text

Symmetry for the Analysis of Dynamic Systems

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-20398-5_19 ◽

2011 ◽

pp. 252-266 ◽

Cited By ~ 1

Author(s):

Zarrin Langari ◽

Richard Trefler

Keyword(s):

Dynamic Systems

Download Full-text

Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-20398-5_29 ◽

2011 ◽

pp. 406-421

Author(s):

José Vander Meulen ◽

Charles Pecheur

Keyword(s):

Model Checking ◽

Partial Order ◽

Order Reduction ◽

Symbolic Model Checking ◽

Partial Order Reduction ◽

Symbolic Model

Download Full-text

Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-20398-5_9 ◽

2011 ◽

pp. 101-115 ◽

Cited By ~ 16

Author(s):

Rüdiger Ehlers

Keyword(s):

System Synthesis ◽

Robust System

Download Full-text

VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-20398-5_4 ◽

2011 ◽

pp. 41-55 ◽

Cited By ~ 114

Author(s):

Bart Jacobs ◽

Jan Smans ◽

Pieter Philippaerts ◽

Frédéric Vogels ◽

Willem Penninckx ◽

...

Download Full-text

Infer: An Automatic Program Verifier for Memory Safety of C Programs

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-20398-5_33 ◽

2011 ◽

pp. 459-465 ◽

Cited By ~ 37

Author(s):

Cristiano Calcagno ◽

Dino Distefano

Keyword(s):

Memory Safety ◽

C Programs ◽

Automatic Program

Download Full-text

From Retrospective Verification to Forward-Looking Development

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-20398-5_1 ◽

2011 ◽

pp. 1-1

Author(s):

K. Rustan M. Leino

Keyword(s):

Forward Looking

Download Full-text

Towards Flight Control Verification Using Automated Theorem Proving

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-20398-5_8 ◽

2011 ◽

pp. 89-100 ◽

Cited By ~ 5

Author(s):

William Denman ◽

Mohamed H. Zaki ◽

Sofiène Tahar ◽

Luis Rodrigues

Keyword(s):

Theorem Proving ◽

Flight Control ◽

Automated Theorem Proving

Download Full-text

Stuttering Mostly Speeds Up Solving Parity Games

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-20398-5_16 ◽

2011 ◽

pp. 207-221 ◽

Cited By ~ 6

Author(s):

Sjoerd Cranen ◽

Jeroen J. A. Keiren ◽

Tim A. C. Willemse

Keyword(s):

Parity Games

Download Full-text

Synthesis for PCTL in Parametric Markov Decision Processes

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-20398-5_12 ◽

2011 ◽

pp. 146-161 ◽

Cited By ~ 36

Author(s):

Ernst Moritz Hahn ◽

Tingting Han ◽

Lijun Zhang

Keyword(s):

Markov Decision Processes ◽

Decision Processes ◽

Markov Decision

Download Full-text

Lecture Notes in Computer Science - NASA Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Counterexample-Based Error Localization of Behavior Models

Symmetry for the Analysis of Dynamic Systems

Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties

Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis

VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java

Infer: An Automatic Program Verifier for Memory Safety of C Programs

From Retrospective Verification to Forward-Looking Development

Towards Flight Control Verification Using Automated Theorem Proving

Stuttering Mostly Speeds Up Solving Parity Games

Synthesis for PCTL in Parametric Markov Decision Processes

Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications