04155nam 22007695 450 991040968020332120251113204510.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,2945-9168 ;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,2945-9168 ;12031Software 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.14Chakraborty Supratikedthttp://id.loc.gov/vocabulary/relators/edtNavas Jorge Aedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910409680203321Verified Software. Theories, Tools and Experiments3004619UNINA