WSAT: A Tool for Formal Analysis of Web Services
Abstract elided by the publisher.
2,069 papers · page 72 of 104
MCK: Model Checking the Logic of Knowledge
Abstract elided by the publisher.
Efficient Modeling of Embedded Memories in Bounded Model Checking
Abstract elided by the publisher.
DPLL( T): Fast Decision Procedures
Abstract elided by the publisher.
A Formal Reduction for Lock-Free Parallel Algorithms
Abstract elided by the publisher.
Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors
Abstract elided by the publisher.
QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings
Abstract elided by the publisher.
The Mec 5 Model-Checker
Abstract elided by the publisher.
Understanding Counterexamples with explain
Abstract elided by the publisher.
Mechanical Mathematical Methods for Microprocessor Verification
Abstract elided by the publisher.
Verification via Structure Simulation
Abstract elided by the publisher.
Functional Dependency for Verification Reduction
Abstract elided by the publisher.
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking
Abstract elided by the publisher.
Abstraction-Based Satisfiability Solving of Presburger Arithmetic
Abstract elided by the publisher.
Indexed Predicate Discovery for Unbounded System Verification
Abstract elided by the publisher.
The UCLID Decision Procedure
Abstract elided by the publisher.
Symbolic Model Checking of Non-regular Properties
Abstract elided by the publisher.
Why Model Checking Can Improve WCET Analysis
Abstract elided by the publisher.
SAL 2
Abstract elided by the publisher.
An Experimental Evaluation of Ground Decision Procedures
Abstract elided by the publisher.