Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, July 13-14, 2019, Revised Sele

ISBN-13: 9783030415990 / Angielski / Miękka / 2020 / 193 str.

Supratik Chakraborty; Jorge A. Navas

Spis treści

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.