Decomposing the Proof of Correctness of pipelined Microprocessors
Abstract elided by the publisher.
2,069 papers · page 87 of 104
Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory
Abstract elided by the publisher.
Design Constraints in Symbolic Model Checking
Abstract elided by the publisher.
Structural Symmetry and Model Checking
Abstract elided by the publisher.
Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking
Abstract elided by the publisher.
Finite-State Analysis of Security Protocols
Abstract elided by the publisher.
An ACL2 Proof of Write Invalidate Cache Coherence
Abstract elided by the publisher.
The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors
Abstract elided by the publisher.
Ten Years of Partial Order Reduction
Abstract elided by the publisher.
A Toolset for Message Sequence Charts
Abstract elided by the publisher.
Processor Verification with Precise Exeptions and Speculative Execution
Abstract elided by the publisher.
A Comparison of Presburger Engines for EFSM Reachability
Abstract elided by the publisher.
Formal Verification of Out-of-Order Execution Using Incremental Flushing
Abstract elided by the publisher.
Using Magnatic Disk Instead of Main Memory in the Murphi Verifier
Abstract elided by the publisher.
Efficient Symbolic Detection of Global Properties in Distributed Systems
Abstract elided by the publisher.
On the Limitations of Ordered Representations of Functions
Abstract elided by the publisher.
Model Checking LTL Using Net Unforldings
Abstract elided by the publisher.
A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy
Abstract elided by the publisher.
Verifying Systems with Infinite but Regular State Spaces
Abstract elided by the publisher.
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
Abstract elided by the publisher.