Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers

by Supratik Chakraborty (Editor)

Uncertainty, Modeling and Safety 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 Automated Verification of a Symbolic Interpreter.- Guided Reactive Synthesis with Soft Requirements.- Refinement type contracts for verification of scientific investigative software.- A Modular Verifier for Solidity Smart Contracts.- Intersection and Rotation of Assumption Literals Boosts Bug-Finding.

212 pages, Paperback

Published March 18, 2020