000891514 000__ 03981cam\a2200517Ki\4500
000891514 001__ 891514
000891514 005__ 20230306150052.0
000891514 006__ m\\\\\o\\d\\\\\\\\
000891514 007__ cr\nn\nnnunnun
000891514 008__ 190603s2019\\\\sz\a\\\\o\\\\\101\0\eng\d
000891514 020__ $$a9783030206529$$q(electronic book)
000891514 020__ $$a3030206521$$q(electronic book)
000891514 020__ $$z9783030206512
000891514 0247_ $$a10.1007/978-3-030-20$$2doi
000891514 035__ $$aSP(OCoLC)on1105184391
000891514 035__ $$aSP(OCoLC)1105184391
000891514 040__ $$aLQU$$beng$$erda$$cLQU$$dGW5XE$$dYDXIT$$dOCLCO$$dOCLCF$$dUKMGB$$dOH1
000891514 049__ $$aISEA
000891514 050_4 $$aQA76.9.F67$$bN45 2019
000891514 08204 $$a004.01/51$$223
000891514 1112_ $$aNFM (Symposium)$$n(11th :$$d2019 :$$cHouston, Tex.)
000891514 24510 $$aNASA Formal Methods :$$b11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings /$$cJulia M. Badger, Kristin Yvonne Rozier (eds.).
000891514 2463_ $$aNFM 2019
000891514 264_1 $$aCham :$$bSpringer,$$c[2019]
000891514 300__ $$a1 online resource (xxi, 392 pages) :$$billustrations.
000891514 336__ $$atext$$btxt$$2rdacontent
000891514 337__ $$acomputer$$bc$$2rdamedia
000891514 338__ $$aonline resource$$bcr$$2rdacarrier
000891514 4901_ $$aLecture notes in computer science ;$$v11460
000891514 4901_ $$aFormal methods
000891514 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000891514 500__ $$aIncludes author index.
000891514 5050_ $$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.
000891514 506__ $$aAccess limited to authorized users.
000891514 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 engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
000891514 588__ $$aDescription based on online resource; title from digital title page (viewed on June 28, 2019).
000891514 650_0 $$aFormal methods (Computer science)$$vCongresses.
000891514 7001_ $$aBadger, Julia M.
000891514 7001_ $$aRozier, Kristin Yvonne.
000891514 830_0 $$aLecture notes in computer science ;$$v11460.
000891514 830_0 $$aLecture notes in computer science.$$pFormal methods.
000891514 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000891514 852__ $$bebk
000891514 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-20652-9$$zOnline Access$$91397441.1
000891514 909CO $$ooai:library.usi.edu:891514$$pGLOBAL_SET
000891514 980__ $$aEBOOK
000891514 980__ $$aBIB
000891514 982__ $$aEbook
000891514 983__ $$aOnline
000891514 994__ $$a92$$bISE