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 email@example.com