swMATH22149MaRDI QIDQ33945FDOQ33945
Author name not available (Why is that?)
Official website: http://formalverification.cs.utah.edu/Murphi/
Cited In (22)
- 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
- DiVinE
- Helena
- BDDNOW
- Crocodile
- BEEM
- BeJC
- CLIF
- CAESAR
- Coccinelle
- Algorithm 360
- MSVL
- 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
