Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation
No abstract available.
Related papers
- Branching Bisimulation Learning CAV 2025
- Verifying properties of well-founded linked lists POPL 2006
- AutoBayes: a system for generating data analysis programs from statistical models JFP 2003
- Bisimulation up-to techniques for psi-calculi CPP 2016
- The next 700 compiler correctness theorems (functional pearl) ICFP 2019
- Bisimulation Learning CAV 2024
- Combining Model Checking and Theorem Proving to Verify Parallel Processes CAV 1993
- Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving CAV 2002