Checking for CFFD-Preorder with Tester Processes
No abstract available.
Related papers
- Model Checking and Modular Verification TOPLAS 1994
- Checking for Language Inclusion Using Simulation Preorders CAV 1991
- The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems TOPLAS 1993
- AWDIT: An Optimal Weak Database Isolation Tester PLDI 2025
- PyCT: A Python Concolic Tester APLAS 2021
- An assume-guarantee rule for checking simulation TOPLAS 2002
- Generating Diagnostic Information for Behavioral Preorders CAV 1992
- Using Compositional Preorders in the Verification of Sliding Window Protocal CAV 1997