Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings
No abstract available.
Related papers
- VINAS-P: A Tool for Trace Theoretic Verification of Timed Asynchronous Circuits CAV 2000
- Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits CAV 1992
- Are Cells Asynchronous Circuits? - (Invited Talk) VMCAI 2011
- Abstract Interpretation of Combinational Asynchronous Circuits SAS 2004
- Verifying Asynchronous Hyperproperties in Reactive Systems OOPSLA 2025
- AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs TACAS 2025
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond TACAS 2021
- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing VMCAI 2010