murphi3.1-20181124


  • Murphi is an explicit state protocol verifier that consists of * the Murphi Compiler, which translates the Murphi source file describing a protocol into C++, and * the Murphi Verifier, which is a collection of C++ include files and contains the core state enumeration algorithms.