Eddy_Murphi is the implementation in the Murphi verifier of a novel parallel algorithm for model checking.

The alpha version Eddy_Murphi 3.1.5 (based on CMurphi3.1) can be downloaded from here (.tgz).

Eddy_Murphi.Win 3.1 (a Windows Server 2003 porting of an erlier version of Eddy_Murphi) can be downloaded from here (.zip).

Some experimental results obtained with Eddy_Murphi are here.

A Promela file modeling the Eddy_Murphi high level algorithm can be found here.