Mocha Home Page
University of California at Berkeley
Department of Electrical Engineering and Computer Sciences
University of Pennsylvania
Department of Computer and Information Science
State University of New York at Stony Brook
Department of Computer Science

Mocha: Exploiting Modularity in Model Checking

New Try the new Mocha 2.0 (and manual)!
Please send questions or comments about MOCHA here.
This site is maintained by the mocha-webmaster.
Mirror sites are maintained at the
University of California at Berkeley and the SUNY at Stony Brook.
Last modified: Monday, 21-Aug-2000 15:52:02 EDT,  Hits