Murphi
From MaRDI portal
Software:33945
No author found.
Related Items (11)
State space reduction for process algebra specifications ⋮ On partial state matching ⋮ Flash memory efficient LTL model checking ⋮ The sweep-line state space exploration method ⋮ A work-efficient distributed algorithm for reachability analysis ⋮ Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols ⋮ State Isomorphism in Model Programs with Abstract Data Structures ⋮ A novel approach to verifying context free properties of programs ⋮ A new logic for electronic commerce protocols ⋮ A Stack-Slicing Algorithm for Multi-Core Model Checking ⋮ Distributed Verification of Multi-threaded C++ Programs
This page was built for software: Murphi
