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

What is Mocha? The Mocha Team Related Technical References

Tasting Mocha: A Trial Run Mocha Documentation Download Mocha

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