The Murphi Verification System
No abstract available.
Related papers
- Verifying Systems with Replicated Components in Murphi CAV 1996
- A personal perspective on concurrency PLDI 2014
- Parallelizing the Murphi Verifier CAV 1997
- Using Magnatic Disk Instead of Main Memory in the Murphi Verifier CAV 1998
- Regular expression types for XML ICFP 2000
- Regular expression types for XML TOPLAS 2005
- Verification of Hybrid Systems CAV 2007
- Verification of Real-Time Systems Using PVS CAV 1993