[S2] ================================================ AMAST Links 01 03

	         Formal Methods Applications Database

  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:
 o  whether or not formal methods / specification languages are being
    used for large, industrial applications;
 o  what the difficulties/advantages are of applying formal methods /
    specification languages on a larger scale;
 o  for which application domains formal methods / specification
    languages are being used and which formal methods / specification
    languages are actually being used.
  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 at
URL: gopher://nisp.ncl.ac.uk/11/lists-u-z/vdm-forum/files
or by _anonymous ftp_ (IP address: 130.225.136.3) at
URL: ftp://ftp.ifad.dk/pub/vdm/