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).