Ulrich Stern
Home
Contact
Resume
Research
Publications
Software
Consulting
 

Murphi

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