Murphi
From MaRDI portal
Software:33945
swMATH22149MaRDI QIDQ33945FDOQ33945
Author name not available (Why is that?)
Cited In (11)
- Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols
- The sweep-line state space exploration method
- Distributed verification of multi-threaded C++ programs
- Flash memory efficient LTL model checking
- A work-efficient distributed algorithm for reachability analysis
- On partial state matching
- State space reduction for process algebra specifications
- A novel approach to verifying context free properties of programs
- A new logic for electronic commerce protocols
- State Isomorphism in Model Programs with Abstract Data Structures
- A stack-slicing algorithm for multi-core model checking
This page was built for software: Murphi
