Model Checking Based on Sequential ATPG
Abstract elided by the publisher.
Related papers
- The Use of Model Checking in ATPG for Sequential Circuits CAV 1990
- Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification CAV 1991
- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs TACAS 2005
- Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization CAV 2014
- Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed CAV 2023
- Optimal stateless model checking for reads-from equivalence under sequential consistency OOPSLA 2019
- Checking Concurrent Data Structures Under the C/C++11 Memory Model PPoPP 2017
- Verifying distributed programs via canonical sequentialization OOPSLA 2017