LEADER 03559nam  22007695  450 
001 9910484808703321
005 20251226195359.0
010   $a3-319-48869-4
024 7 $a10.1007/978-3-319-48869-1
035   $a(CKB)3710000000981094
035   $a(DE-He213)978-3-319-48869-1
035   $a(MiAaPQ)EBC6301173
035   $a(MiAaPQ)EBC5610896
035   $a(Au-PeEL)EBL5610896
035   $a(OCoLC)963931449
035   $a(PPN)197136974
035   $a(EXLCZ)993710000000981094
100   $a20161107d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aVerified Software. Theories, Tools, and Experiments $e8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17?18, 2016, Revised Selected Papers /$fedited by Sandrine Blazy, Marsha Chechik
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XIV, 199 p. 36 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9971
300   $aIncludes index.
311 08$a3-319-48868-6 
327   $aEducation -- requirements modeling -- specification languages -- specification/verification -- formal calculi -- software design methods -- automatic code generation -- refinement methodologies -- compositional analysis -- verification tools -- Tool integration -- Benchmarks -- Challenge problems -- Integrated verification environments. .
330   $aThis volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v9971
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   $aBlazy$b Sandrine$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aChechik$b Marsha$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484808703321
996   $aVerified Software. Theories, Tools and Experiments$93004619
997   $aUNINA