Lecture Notes in Computer Science - NASA Formal Methods
Latest Publications

TOTAL DOCUMENTS

43

(FIVE YEARS 0)

H-INDEX

14

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642203978, 9783642203985

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

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 ◽

Author(s):

Rüdiger Ehlers

Keyword(s):

System Synthesis ◽

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 ◽

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 ◽

Author(s):

Cristiano Calcagno ◽

Dino Distefano

Keyword(s):

Memory Safety ◽

Automatic Program

Download Full-text

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 ◽

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 ◽

Author(s):

Zarrin Langari ◽

Richard Trefler

Keyword(s):

Dynamic Systems

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

Efficient Predicate Abstraction of Program Summaries

Lecture Notes in Computer Science - NASA Formal Methods ◽

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

2011 ◽

pp. 131-145 ◽

Author(s):

Arie Gurfinkel ◽

Sagar Chaki ◽

Samir Sapra

Keyword(s):

Predicate Abstraction

Download Full-text

Instantiation-Based Invariant Discovery

Lecture Notes in Computer Science - NASA Formal Methods ◽

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

2011 ◽

pp. 192-206 ◽

Author(s):

Temesghen Kahsai ◽

Yeting Ge ◽

Cesare Tinelli

Download Full-text

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

Lecture Notes in Computer Science - NASA Formal Methods ◽

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

2011 ◽

pp. 298-312 ◽

Author(s):

Jan Peleska ◽

Elena Vorobev ◽

Florian Lapschies

Keyword(s):

Abstract Interpretation ◽

Test Case Generation ◽

Test Case ◽

Smt Solving ◽

Automated Test Case Generation ◽

Download Full-text