04198nam 22008295 450 991048324110332120200702065423.03-319-12154-510.1007/978-3-319-12154-3(CKB)3710000000269690(SSID)ssj0001372828(PQKBManifestationID)11761820(PQKBTitleCode)TC0001372828(PQKBWorkID)11305160(PQKB)11261528(DE-He213)978-3-319-12154-3(MiAaPQ)EBC6298616(MiAaPQ)EBC5591019(Au-PeEL)EBL5591019(OCoLC)894503945(PPN)182097781(EXLCZ)99371000000026969020141013d2014 u| 0engurnn|008mamaatxtccrVerified Software: Theories, Tools and Experiments[electronic resource] 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /edited by Dimitra Giannakopoulou, Daniel Kroening1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (X, 287 p. 107 illus.) Programming and Software Engineering ;8471Includes index.3-319-12153-7 Analysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security.This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.Programming and Software Engineering ;8471Software engineeringComputer logicProgramming languages (Electronic computers)Computer programmingMathematical logicArtificial intelligenceSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software engineering.Computer logic.Programming languages (Electronic computers).Computer programming.Mathematical logic.Artificial intelligence.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Programming Techniques.Mathematical Logic and Formal Languages.Artificial Intelligence.005.14Giannakopoulou Dimitraedthttp://id.loc.gov/vocabulary/relators/edtKroening Danieledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483241103321Verified Software. Theories, Tools, and Experiments2025652UNINA