Atomicity Refinement and Trace Reduction Theorems
Abstract elided by the publisher.
2,069 papers · page 92 of 104
The State of SPIN
Abstract elided by the publisher.
Verifying Systems with Replicated Components in Murphi
Abstract elided by the publisher.
Mechanically Verifying a Family of Multiplier Circuits
Abstract elided by the publisher.
Verification Support Environment
Abstract elided by the publisher.
Module Checking
Abstract elided by the publisher.
Verification of Fair Transisiton Systems
Abstract elided by the publisher.
A Conjunctively Decomposed Boolean Representation for Symbolic Model Checking
Abstract elided by the publisher.
EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols
Abstract elided by the publisher.
Saving Space by Fully Exploiting Invisible Transitions
Abstract elided by the publisher.
The Real-Time Graphical Interval Logic Toolset
Abstract elided by the publisher.
Automatic Translation of Natural Language System Specifications
Abstract elided by the publisher.
PVS: Combining Specification, Proof Checking, and Model Checking
Abstract elided by the publisher.
Protocol Verification by Aggregation of Distributed Transactions
Abstract elided by the publisher.
A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract)
Abstract elided by the publisher.
A Platform for Combining Deductive with Algorithmic Verification
Abstract elided by the publisher.
Modular Verification of SRT Division
Abstract elided by the publisher.
Automated Deduction and Formal Methods
Abstract elided by the publisher.
HORNSAT, Model Checking, Verification and games (Extended Abstract)
Abstract elided by the publisher.
Deductive Model Checking
Abstract elided by the publisher.