000 04407nam a22006375i 4500
001 978-3-030-20652-9
003 DE-He213
005 20240730171007.0
007 cr nn 008mamaa
008 190527s2019 sz | s |||| 0|eng d
020 _a9783030206529
_9978-3-030-20652-9
024 7 _a10.1007/978-3-030-20652-9
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aNASA Formal Methods
_h[electronic resource] :
_b11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings /
_cedited by Julia M. Badger, Kristin Yvonne Rozier.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aXXI, 392 p. 372 illus., 58 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11460
505 0 _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.
520 _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.
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer science.
_99832
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer simulation.
_95106
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aTheory of Computation.
_996653
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Modelling.
_996656
650 2 4 _aComputer Engineering and Networks.
_996657
700 1 _aBadger, Julia M.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_996659
700 1 _aRozier, Kristin Yvonne.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_996660
710 2 _aSpringerLink (Online service)
_996661
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030206512
776 0 8 _iPrinted edition:
_z9783030206536
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11460
_996663
856 4 0 _uhttps://doi.org/10.1007/978-3-030-20652-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c87342
_d87342