The following pages link to Murphi (Q33945):
Displaying 11 items.
- The sweep-line state space exploration method (Q418783) (← links)
- Flash memory efficient LTL model checking (Q617930) (← links)
- State space reduction for process algebra specifications (Q820124) (← links)
- Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols (Q968361) (← links)
- On partial state matching (Q1682284) (← links)
- A new logic for electronic commerce protocols (Q1853749) (← links)
- A novel approach to verifying context free properties of programs (Q2290651) (← links)
- A work-efficient distributed algorithm for reachability analysis (Q2431764) (← links)
- A stack-slicing algorithm for multi-core model checking (Q2866322) (← links)
- Distributed verification of multi-threaded C++ programs (Q2866324) (← links)
- State Isomorphism in Model Programs with Abstract Data Structures (Q3614845) (← links)