University of Utah

School of Computing


Murphi is currently at the basis of different research projects. This web page is intended to provide the (often alpha) sources and a brief description of the tools which are derived from Murphi.

  • 3Murphi by P. C. Dillinger & P. Manolios

School of Computing * 50 S. Central Campus Dr. Rm. 3190 * Salt Lake City, UT 84112
801-585-3866 * Send comments to

HomePeopleResearchAdmissionsSite Map