The Larch Project
Larch at CMU
- Recent uses of Larch.
- Documents and tools.
- Work related to the Larch family of specification is
available via anonymous FTP from ftp.cs.cmu.edu in the directory
directly for copies of papers and technical reports.
- Results of July 1994
survey of the larch-interest
Larch Outside of CMU
For an overview of the Larch Project and a beautiful picture of Larch trees
MIT Larch home page.
pointers to other interesting Larch activity
see the DEC/SRC
Larch home page.
The Larch tools available from MIT through FTP are in the
Other Formal Methods Activity
Oxford University's Formal Methods home page.
Other CMU Activity
CMU School of Computer Science home page.
email@example.com (last updated 10-January-95)