Murphi is currently at the basis of different research projects. This web page is intended to provide the (often alpha) sources and a brief description of the tools which are derived from Murphi.

• Last Murphi versions released by D. Dill's group:
  • Standard Murphi
  • Caching Murphi by E. Tronci group (this is a old version, see the other links in this page for newer ones)
  • Murphi with liveness properties (but without symmetry reduction)
  • Original Murphi web page (out-of-date, but with interesting info)

• Parallel Murphi by G. Gopalakrishnan's group (for clusters using MPI):
  • Eddy_Murphi (novel algorithm implemented on top of Murphi)
  • Port to MPI of an older parallel algorithm of Stern & Dill

• Predicate Abstraction Murphi (PAM) by G. Gopalakrishnan's group

• Caching, Disk and Probabilistic Murphi by E. Tronci's group

• 3Murphi by P. C. Dillinger & P. Manolios

• Murphi on 64-bit hardware (alpha-version) by I. Melatti

• Precision on Demand Murphi (alpha-version) by I. Melatti