LEADER 03604nam  22008295  450 
001 9910483914003321
005 20251226193515.0
010   $a3-319-17524-6
024 7 $a10.1007/978-3-319-17524-9
035   $a(CKB)3710000000404071
035   $a(SSID)ssj0001501618
035   $a(PQKBManifestationID)11848446
035   $a(PQKBTitleCode)TC0001501618
035   $a(PQKBWorkID)11446314
035   $a(PQKB)10643350
035   $a(DE-He213)978-3-319-17524-9
035   $a(MiAaPQ)EBC6301665
035   $a(MiAaPQ)EBC5576391
035   $a(Au-PeEL)EBL5576391
035   $a(OCoLC)907468312
035   $a(PPN)185489125
035   $a(EXLCZ)993710000000404071
100   $a20150407d2015      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aNASA Formal Methods $e7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /$fedited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XIII, 458 p. 115 illus.)
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9058
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-17523-8 
330   $aThis book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v9058
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aOperating systems (Computers)
606   $aComputer science
606   $aMachine theory
606   $aComputer programming
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aOperating Systems
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aProgramming Techniques
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aOperating systems (Computers).
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer programming.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aOperating Systems.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aProgramming Techniques.
676   $a004.0151
702   $aHavelund$b Klaus$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHolzmann$b Gerard$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJoshi$b Rajeev$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483914003321
996   $aNASA Formal Methods$92860155
997   $aUNINA