03367nam 22007815 450 991034938960332120251225205342.09783030035921303003592110.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,2945-9168 ;11294Includes index.9783030035914 3030035913 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,2945-9168 ;11294Software engineeringComputer scienceCompilers (Computer programs)Electronic digital computersEvaluationComputers, Special purposeComputersProfessionsSoftware EngineeringComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersSystem Performance and EvaluationSpecial Purpose and Application-Based SystemsThe Computing ProfessionSoftware engineering.Computer science.Compilers (Computer programs).Electronic digital computersEvaluation.Computers, Special purpose.Computers.Professions.Software Engineering.Computer Science Logic and Foundations of Programming.Compilers and 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