Formal Methods Wiki

Virtual Library
Software engineering
Formal methods

Formal Methods Education Resources

Course Pages


Position Papers

Reading Materials

Instructional Materials
and Examples

General Formal
Methods Repository


Submit to
the Repository
New2.gif See Towards Formal Methods Body of Knowledge (FMBOK).

Welcome to the formal methods educational resources page. This site serves as a repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects. It grew out of the 21st Engineering Consortium Workshop, held in March 1998. It is an official sub-collection of the Virtual Library for Formal Methods.

It is kept up-to-date by contributions from formal methods educators around the world. Please submit any appropriate materials you have to the repository.

Several other sites maintain educational materials for related areas or describe initiatives in formal methods education.

Based on Formal Methods Education Resources maintained by Kathi Fisler
Department of Computer Science, Worcester Polytechnic Institute
Last updated by Jonathan Bowen on 21 October 2010