LEADER 04072nam  22008295  450 
001 9910483914003321
005 20200705140224.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 ;$v9058
300   $aBibliographic Level Mode of Issuance: Monograph
311   $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 ;$v9058
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aOperating systems (Computers)
606   $aComputer logic
606   $aMathematical logic
606   $aComputer programming
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aOperating systems (Computers).
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aComputer programming.
615 14$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aOperating Systems.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
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