Abstract Regular Model Checking
Abstract elided by the publisher.
Related papers
- Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection APLAS 2000
- Abstract Regular Tree Model Checking of Complex Dynamic Data Structures SAS 2006
- Model Checking ømega-Regular Properties with Decoupled Search CAV 2021
- Symbolic Model Checking of Non-regular Properties CAV 2004
- Systematic Acceleration in Regular Model Checking CAV 2007
- Omega-Regular Model Checking TACAS 2004
- Regular Model Checking CAV 2000
- T(O)RMC: A Tool for (omega)-Regular Model Checking CAV 2008