Verified Software. Theories, Tools, and Experiments
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer
-
Altmetric BadgeChapter 2 Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework
-
Altmetric BadgeChapter 3 Quantifying Information Leakage Using Model Counting Constraint Solvers
-
Altmetric BadgeChapter 4 Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme
-
Altmetric BadgeChapter 5 Incremental Minimization of Symbolic Automata
-
Altmetric BadgeChapter 6 Seamless Interactive Program Verification
-
Altmetric BadgeChapter 7 Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain
-
Altmetric BadgeChapter 8 Ghost Code in Action: Automated Verification of a Symbolic Interpreter
-
Altmetric BadgeChapter 9 DCSynth: Guided Reactive Synthesis with Soft Requirements
-
Altmetric BadgeChapter 10 Refinement Type Contracts for Verification of Scientific Investigative Software
-
Altmetric BadgeChapter 11 solc-verify : A Modular Verifier for Solidity Smart Contracts
-
Altmetric BadgeChapter 12 Intersection and Rotation of Assumption Literals Boosts Bug-Finding