Reasoning About Threads Communicating via Locks
Abstract elided by the publisher.
2,069 papers · page 70 of 104
Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants
Abstract elided by the publisher.
Predicate Abstraction via Symbolic Decision Procedures
Abstract elided by the publisher.
Extended Weighted Pushdown Systems
Abstract elided by the publisher.
Abstraction Refinement via Inductive Learning
Abstract elided by the publisher.
Data Structure Specifications via Local Equality Axioms
Abstract elided by the publisher.
Yet Another Decision Procedure for Equality Logic
Abstract elided by the publisher.
Compositional Analysis of Floating-Point Linear Numerical Filters
Abstract elided by the publisher.
Randomized Algorithms for Program Analysis and Verification
Abstract elided by the publisher.
DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic
Abstract elided by the publisher.
The Orchids Intrusion Detection Tool
Abstract elided by the publisher.
Concrete Model Checking with Abstract Matching and Refinement
Abstract elided by the publisher.
TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems
Abstract elided by the publisher.
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology
Abstract elided by the publisher.
Bounded Model Checking of Concurrent Programs
Abstract elided by the publisher.
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
Abstract elided by the publisher.
On Statistical Model Checking of Stochastic Systems
Abstract elided by the publisher.
Symmetry Reduction in SAT-Based Model Checking
Abstract elided by the publisher.
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
Abstract elided by the publisher.
Saturn: A SAT-Based Tool for Bug Detection
Abstract elided by the publisher.