03675nam 22007335 450 991034938960332120200701155952.03-030-03592-110.1007/978-3-030-03592-1(CKB)4100000007159065(DE-He213)978-3-030-03592-1(MiAaPQ)EBC6294939(PPN)232470782(EXLCZ)99410000000715906520181123d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierVerified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /edited by Ruzica Piskac, Philipp Rümmer1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XVI, 345 p. 101 illus., 10 illus. in color.) Programming and Software Engineering ;11294Includes index.3-030-03591-3 This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.Programming and Software Engineering ;11294Software engineeringComputer logicProgramming languages (Electronic computers)Computer system failuresSpecial purpose computersComputersSoftware 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/I14037System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030The Computing Professionhttps://scigraph.springernature.com/ontologies/product-market-codes/I24075Software engineering.Computer logic.Programming languages (Electronic computers).Computer system failures.Special purpose computers.Computers.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.System Performance and Evaluation.Special Purpose and Application-Based Systems.The Computing Profession.005.14005.14Piskac Ruzicaedthttp://id.loc.gov/vocabulary/relators/edtRümmer Philippedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349389603321Verified Software. Theories, Tools and Experiments3004619UNINA