04518nam 22007455 450 991040968020332120200703095144.03-030-41600-310.1007/978-3-030-41600-3(CKB)4100000010770672(DE-He213)978-3-030-41600-3(MiAaPQ)EBC6133784(PPN)243222718(EXLCZ)99410000001077067220200313d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierVerified Software. Theories, Tools, and Experiments 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers /edited by Supratik Chakraborty, Jorge A. Navas1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XVI, 193 p. 221 illus., 30 illus. in color.) Programming and Software Engineering ;12031Includes index.3-030-41599-6 Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework -- Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer -- Verifying Network Control Planes -- Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme -- Incremental Minimization of Symbolic Automata -- Seamless Interactive Program Verification -- Formal Verification of Work Flow Policies for Smart Contracts in Azure Blockchain -- Ghost Code in Action: Automated Verification of a Symbolic Interpreter -- DCSynth: Guided Reactive Synthesis with Soft Requirements -- Refinement type contracts for verification of scientific investigative software -- solc-verify: A Modular Verifier for Solidity Smart Contracts -- Intersection and Rotation of Assumption Literals Boosts Bug-Finding.This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 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 ;12031Software 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.14Chakraborty Supratikedthttp://id.loc.gov/vocabulary/relators/edtNavas Jorge Aedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910409680203321Verified Software. Theories, Tools and Experiments3004619UNINA