Amazon cover image
Image from Amazon.com

Verified software : theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers / Supratik Chakraborty, Jorge A. Navas, editors.

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 12031. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Cham : Springer, 2020.Description: 1 online resource (208 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783030416003
  • 3030416003
Other title:
  • VSTTE 2019
Subject(s): Genre/Form: Additional physical formats: Print version:: Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers.DDC classification:
  • 005.1/4 23
LOC classification:
  • QA76.76.V47
Online resources:
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.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Print version record.

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.

Powered by Koha