Checking for Language Inclusion Using Simulation Preorders
No abstract available.
Related papers
- Reduction of Nondeterministic Tree Automata TACAS 2016
- An assume-guarantee rule for checking simulation TOPLAS 2002
- A Simulation Preorder for Abstraction of Reactive Systems VMCAI 2002
- Bridging the Gap between Fair Simulation and Trace Inclusion CAV 2003
- Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing CAV 2010
- Checking for CFFD-Preorder with Tester Processes TACAS 2000
- Computing Coupled Similarity TACAS 2019
- Model Checking and Modular Verification TOPLAS 1994