Murphi
From MaRDI portal
Cited in
(22)- DiVinE
- Helena
- On partial state matching
- A new logic for electronic commerce protocols
- BDDNOW
- Crocodile
- BEEM
- A novel approach to verifying context free properties of programs
- A work-efficient distributed algorithm for reachability analysis
- A stack-slicing algorithm for multi-core model checking
- Distributed verification of multi-threaded C++ programs
- CLIF
- BeJC
- State Isomorphism in Model Programs with Abstract Data Structures
- CAESAR
- Coccinelle
- Algorithm 360
- The sweep-line state space exploration method
- MSVL
- Flash memory efficient LTL model checking
- State space reduction for process algebra specifications
- Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols
This page was built for software: Murphi
