Toulouse, France, 20-24 September 1999 . Please contact Jonathan Bowen if you know of relevant on-line information not included here or would like to maintain information on a particular topic. Use the comp.specification.misc newsgroup, for general formal methods queries. Formal methods are a fault avoidance technique that help in the reduction of errors introduced into a system, particularly at the earlier stages of design. They complement fault removal techniques like testing.
Related topics indicates new entries.
If enough people email me, I will add a star to entries recommended by others. Checked and updated main links to formal methods. Moved to the Centre for Applied Formal Methods , South Bank University , London. Note in particular that searching now works again. New education resources section by Kathi Fisler added.