Verified software : theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers /: theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers. (2020)

• Record Type: Book
• Other Titles: VSTTE 2019
• Further Information: Note: Supratik Chakraborty, Jorge A. Navas, editors.
• Other Names: Chakraborty, Supratik; Navas, Jorge A; VSTTE (Conference), 11th
• Contents: 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.
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Extent: 1 online resource (208 pages)
• Subjects: 005.1/4; Computer software -- Verification -- Congresses; Computer software -- Quality control -- Congresses; Compilers (Computer programs) -- Congresses; Compilers (Computer programs); Computer software -- Quality control; Computer software -- Verification; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783030416003; 3030416003
• Related ISBNs: 9783030415990
• Notes: Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.