WWW Links

Formal Methods

• Formal Methods Virtual Library
• Larch project at MIT
• Larch project at SRC
• Synchronized Transitions
• Who's who in formal methods

Automated Deduction

• CLI (Nqthm)
• IMPS
• HOL
• Isabelle
• LP, the Larch Prover
• Otter
• PVS
• Mechanized deduction in Germany

Government Agencies

• ARPA (CSTO)
• National Science Foundation

Miscellaneous

• HTML Beginner's Guide
• Info-Mac Digest
• Netscape