Parallelizing the Murphi Verifier
No abstract available.
DOI 10.1007/3-540-63166-6_26
Related papers
- Verifying Systems with Replicated Components in Murphi CAV 1996
- Using Magnatic Disk Instead of Main Memory in the Murphi Verifier CAV 1998
- The Murphi Verification System CAV 1996
- Combining Model Checking and Theorem Proving to Verify Parallel Processes CAV 1993
- A Verified Parallel Scheduler for OCaml 5 PLDI 2026
- Verifying Array Properties in Pure Data-Parallel Programs PLDI 2026
- A personal perspective on concurrency PLDI 2014
- NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness PLDI 2011