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