Automated Assumption Generation for Compositional Verification
Abstract elided by the publisher.
2,069 papers · page 65 of 104
Array Abstractions from Proofs
Abstract elided by the publisher.
Anzu: A Tool for Property Synthesis
Abstract elided by the publisher.
Systematic Acceleration in Regular Model Checking
Abstract elided by the publisher.
Fast and Accurate Static Data-Race Detection for Concurrent Programs
Abstract elided by the publisher.
Three-Valued Abstraction for Continuous-Time Markov Chains
Abstract elided by the publisher.
Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development?
Abstract elided by the publisher.
From Liveness to Promptness
Abstract elided by the publisher.
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
Abstract elided by the publisher.
On Synthesizing Controllers from Bounded-Response Properties
Abstract elided by the publisher.
BAT: The Bit-Level Analysis Tool
Abstract elided by the publisher.
Underapproximation for Model-Checking Based on Random Cryptographic Constructions
Abstract elided by the publisher.
A Tutorial on Satisfiability Modulo Theories
Abstract elided by the publisher.
Test Coverage for Continuous and Hybrid Systems
Abstract elided by the publisher.
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract elided by the publisher.
Spade: Verification of Multithreaded Dynamic and Recursive Programs
Abstract elided by the publisher.
Hybrid Systems: From Verification to Falsification
Abstract elided by the publisher.
A Mathematical Approach to RTL Verification
Abstract elided by the publisher.
Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models
Abstract elided by the publisher.
SAT-Based Compositional Verification Using Lazy Learning
Abstract elided by the publisher.