LEADER 04053nam  22007695  450 
001 996465619903316
005 20200702234756.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$b[electronic resource] $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 ;$v9971
300   $aIncludes index.
311   $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 ;$v9971
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aMathematical logic
606   $aArtificial intelligence
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aMathematical Logic and Formal Languages.
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   $a996465619903316
996   $aVerified Software. Theories, Tools, and Experiments$92025652
997   $aUNISA