Combining Model Checking and Theorem Proving to Verify Parallel Processes
No abstract available.
Related papers
- Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving CAV 2002
- A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq Haskell 2017
- Nacpa: Native Checking with Parallel-Portfolio Analyses - (Competition Contribution) TACAS 2025
- Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation CAV 1999
- Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving CAV 1995
- Verifying Infinite State Processes with Sequential and Parallel Composition POPL 1995
- Engineering Verified Model Transformations through a Proof-Based Language Workbench SLE 2026
- Verified heap theorem prover by paramodulation ICFP 2012