The industrial use of formal methods is limited and the experience gained with that industrial use is not available to the outside world. That is a pity, considering the fact that such experience can be very useful in avoiding the pitfalls one may encounter when starting to use formal methods in a `serious' way. It is with this thought that some people active in FME (Formal Methods Europe) have come up with the idea to start a database with examples of applications of formal methods, accessible through ftp and WWW on a public site. The intention of the database is to give concise descriptions of - either successful or unsuccessful - application of formal methods / specification languages that will allow users to assess:
If you know of any applications of formal methods / specification languages worth considering for inclusion in the database (i.e. were involved yourself or you know someone who was) then it would be appreciated if you would fill in the information form available from the sites listed below and send it to (e-mail preferred):
Nico Plat, Cap Volmac, Dolderseweg 2 3712 BP Huis ter Heide.
The Netherlands. Fax: +31-3404-31174, E-mail: Nico.Plat@ACM.org.
An electronic copy of the form can be obtained by sending an e-mail message containing only the line:
send vdm-forum fm-appl-db-form.txt to mailbase@mailbase.ac.uk, and the form will be sent back to you. Alternatively, you can pick it up on the WWW or by anonymous ftp (IP address: 130.225.136.3).