LEADER 04533nam 22007695 450 001 9910337849503321 005 20251225190447.0 010 $a3-030-20652-1 024 7 $a10.1007/978-3-030-20652-9 035 $a(CKB)4100000008280567 035 $a(DE-He213)978-3-030-20652-9 035 $a(MiAaPQ)EBC5925905 035 $a(PPN)236522159 035 $a(EXLCZ)994100000008280567 100 $a20190527d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNASA Formal Methods $e11th International Symposium, NFM 2019, Houston, TX, USA, May 7?9, 2019, Proceedings /$fedited by Julia M. Badger, Kristin Yvonne Rozier 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XXI, 392 p. 372 illus., 58 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11460 300 $aIncludes Index. 311 08$a3-030-20651-3 327 $aFormal 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. 330 $aThis 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 engineeringand model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11460 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aArtificial intelligence 606 $aComputer simulation 606 $aComputer engineering 606 $aComputer networks 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aTheory of Computation 606 $aArtificial Intelligence 606 $aComputer Modelling 606 $aComputer Engineering and Networks 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aComputer simulation. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aTheory of Computation. 615 24$aArtificial Intelligence. 615 24$aComputer Modelling. 615 24$aComputer Engineering and Networks. 676 $a004.0151 676 $a004.0151 702 $aBadger$b Julia M$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozier$b Kristin Yvonne$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910337849503321 996 $aNASA Formal Methods$92860155 997 $aUNINA