The Larch Project

Larch at CMU

Larch Outside of CMU

For an overview of the Larch Project and a beautiful picture of Larch trees see the MIT Larch home page. For other pointers to other interesting Larch activity see the DEC/SRC Larch home page.

The Larch tools available from MIT through FTP are in the distribution directory.

Other Formal Methods Activity

Oxford University's Formal Methods home page.

Other CMU Activity

CMU School of Computer Science home page. (last updated 10-January-95)