Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors
Abstract elided by the publisher.
1,553 papers · page 70 of 78
Satisfiability Checking Using Boolean Expression Diagrams
Abstract elided by the publisher.
A Library for Composite Symbolic Representations
Abstract elided by the publisher.
Symbolic Reachability Analysis Based on SAT-Solvers
Abstract elided by the publisher.
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
Abstract elided by the publisher.
A Comparison of Two Verification Methods for Speculative Instruction Execution
Abstract elided by the publisher.
Proof General: A Generic Tool for Proof Development
Abstract elided by the publisher.
Abstracting WS1S Systems to Verify Parameterized Networks
Abstract elided by the publisher.
Model Checking Security Protocols Using a Logic of Belief
Abstract elided by the publisher.
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
Abstract elided by the publisher.
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems
Abstract elided by the publisher.
On the Construction of Live Timed Systems
Abstract elided by the publisher.
Model Checking SDL with Spin
Abstract elided by the publisher.
Using Static Analysis to Improve Automatic Test Generation
Abstract elided by the publisher.
Consistent Integration of Formal Methods
Abstract elided by the publisher.
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems
Abstract elided by the publisher.
Model Checking Support for the ASM High-Level Language
Abstract elided by the publisher.
Partial Order Reductions for Security Protocol Verification
In this paper we explore partial order reduction that make the task of verifying cryptographic protocols more efficient. These reduction techniques have been implemented in our tool BRUTUS. A lthough we have implemented several reduction techniques in our tool BRUTUS, due to spac…
Symbolic Representation of Upward-Closed Sets
Abstract elided by the publisher.
The PROSPER Toolkit
Abstract elided by the publisher.