Related Projects

OMRS - Open Mechanized Reasoning Systems

HOL/Clam project

MathWeb

ETI - Electronic Tool Integration Platform

KeY - Integrated Deductive Software Design

UniForM - Universal Formal Methods Workbench

JavaLIL (Tool Integration for Applied Formal Methods)

An open proof checker based on type theory

InVeSt - A Tool for the Verification of Invariants

Symbolic Analysis Laboratory

Conferences/Workshops/Journals

Integrating deduction systems - Workshop as part of CADE-15

Frontiers of Combining Systems - FroCoS'2000

Journal of Universal Computer Science - Integration of Deduction Systems

General Formal Methods links

The World Wide Web Virtual Library: Formal Methods

Searchable database of formal methods

European Community Links

Cordis - Community Research and Development Information Service

Cordis - LTR Home Page