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. New education resources section by Kathi Fisler added. Some Formal Methods Humo u r . The World Congress on Formal Methods , 20-24 September 1999. Photographs from the 1st B Conference , Nantes, France, 25-27 November 1996.