University of Utah

School of Computing

Precision on Demand Murphi

These two versions of Murphi (namely pod_cmurphi 1.0 and pod_3murphi 1.0) are able to improve state space coverage when using techniques leading to positive state omission probability (i.e. hash compaction and Bloom filters). This is still an alpha-version.

pod_cmurphi 1.0 can be downloaded from here (.tgz).

pod_3murphi 1.0 can be downloaded from here (.tgz).

School of Computing * 50 S. Central Campus Dr. Rm. 3190 * Salt Lake City, UT 84112
801-585-3866 * Send comments to

HomePeopleResearchAdmissionsSite Map