Efficient Model Checking Using Tabled Resolution
Abstract elided by the publisher.
2,069 papers · page 90 of 104
Formal Verification - Applications & Case Studies
Abstract elided by the publisher.
The Invariant Checker: Automated Deductive Verification of Reactive Systems
Abstract elided by the publisher.
Trace Table Based Approach for Pipeline Microprocessor Verification
Abstract elided by the publisher.
Parametrized Verification of Linear Networks Using Automata as Invariants
Abstract elided by the publisher.
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties
Abstract elided by the publisher.
Parallelizing the Murphi Verifier
Abstract elided by the publisher.
STARI: A Case Study in Compositional and Hierarchical Timing Verification
Abstract elided by the publisher.
Verification of a Chemical Process Leak Test Procedure
Abstract elided by the publisher.
prod 3.2: An Advanced Tool for Efficient Reachability Analysis
Abstract elided by the publisher.
Efficient Modeling of Memory Arrays in Symbolic Simulation
Abstract elided by the publisher.
On Combining Formal and Informal Verification
Abstract elided by the publisher.
Temporal Verification by Diagram Transformations
Abstract elided by the publisher.
Marella: A Tool for Simulation and Verification
Abstract elided by the publisher.
MDG Tools for the Verification of RTL Designs
Abstract elided by the publisher.
Symbolic Model Checking Using Algebraic Geometry
Abstract elided by the publisher.
Verifying Continuous Time Markov Chains
Abstract elided by the publisher.
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation
Abstract elided by the publisher.
Verification of an Audio Protocol with Bus Collision Using UPPAAL
Abstract elided by the publisher.
Powerful Techniques for the Automatic Generation of Invariants
Abstract elided by the publisher.