عنوان

NASA Formal Methods :

3030206513

3030206521

9783030206512

9783030206529

9783030206512

NASA Formal Methods :

[Book]

11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings /

Julia M. Badger, Kristin Yvonne Rozier (eds.).

Cham :

Springer,

[2019]

1 online resource (xxi, 392 pages) :

illustrations (some color)

Formal methods

Lecture notes in computer science ;

LNCS sublibrary. SL 2, Programming and software engineering

11460

Includes author index.

Formal verification, including theorem proving, model checking, and static analysis -- Advances in automated theorem proving including SAT and SMT solving -- Use of formal methods in software and system testing -- Run-time verification -- Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, and parallel and/or distributed techniques -- Code generation from formally verified models -- Safety cases and system safety -- Formal approaches to fault tolerance -- Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems -- Formal methods in systems engineering and model-based development -- Correct-by-design controller synthesis -- Formal assurance methods to handle adaptive systems.

0

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.

Springer Nature

com.springer.onix.9783030206529

NFM 2019

Formal methods (Computer science), Congresses.

Formal methods (Computer science)

Badger, Julia M.

Rozier, Kristin Yvonne.

NFM (Symposium)(11th :2019 :, Houston, Tex.)

20200823091608.0

pn

[Book]

Y