University of Utah

Search
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 melatti@cs.utah.edu
Disclaimer

HomePeopleResearchAdmissionsSite Map