Ulrich Stern | |||||||||
|
MurphiAt Stanford, I developed the Murphi Release 3.0 and co-developed Release 3.1 with Vitaly Shmatikov. I have also been maintaining these two releases, which are available from our group's Murphi page. A beta version of parallel Murphi Release 3.0 is also available. Check out my consulting page for more info. |