Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits
Abstract elided by the publisher.
Related papers
- Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings CAV 1995
- Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems CAV 1990
- Quantum Probabilistic Model Checking for Time-Bounded Properties OOPSLA 2024
- Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem CAV 1990
- Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules TOPLAS 1998
- VINAS-P: A Tool for Trace Theoretic Verification of Timed Asynchronous Circuits CAV 2000
- An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits PLDI 2023
- Avoiding exponential explosion: generating compact verification conditions POPL 2001