LEADER 03692nam  22008295  450 
001 9910483243403321
005 20251226195136.0
010   $a3-319-29613-2
024 7 $a10.1007/978-3-319-29613-5
035   $a(CKB)4340000000001287
035   $a(SSID)ssj0001661403
035   $a(PQKBManifestationID)16438844
035   $a(PQKBTitleCode)TC0001661403
035   $a(PQKBWorkID)14988211
035   $a(PQKB)10912128
035   $a(DE-He213)978-3-319-29613-5
035   $a(MiAaPQ)EBC6294824
035   $a(MiAaPQ)EBC5576631
035   $a(Au-PeEL)EBL5576631
035   $a(OCoLC)1066198418
035   $a(PPN)192771566
035   $a(EXLCZ)994340000000001287
100   $a20160330d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aVerified Software: Theories, Tools, and Experiments $e7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /$fedited by Arie Gurfinkel, Sanjit A. Seshia
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (IX, 223 p. 41 illus. in color.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9593
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-29612-4 
327   $aLarge-scale verification -- collaboration:- Theory Unication -- Tool Integration -- Formalized domain knowledge.
330   $aThis volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA. The 12 revised full papers presented were carefully revised and selected from 25 submissions. The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. .
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v9593
606   $aSoftware engineering
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aMachine theory
606   $aArtificial intelligence
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aMachine theory.
615  0$aArtificial intelligence.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
676   $a005.14
702   $aGurfinkel$b Arie$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSeshia$b Sanjit A$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483243403321
996   $aVerified Software. Theories, Tools and Experiments$93004619
997   $aUNINA