[S6] ================================================ AMAST Links 02 08

                    Formal Methods Tools database

  Updated details of the Formal Methods Tools database can be obtained
from the following locations:

NCL-UK : ftp://chopwell.ncl.ac.uk/pub/fm_tools/fm_tools_db
Soton-UK : ftp://ftp.ecs.soton.ac.uk/pub/packages/fmtools/fmtools.txt
Waikato-NZ : ftp://ftp.cs.waikato.ac.nz/pub/formal_methods/fm_tools_db
Stanford : ftp://www-formal.stanford.edu/pub/clt/FMTDB/fm_tools_db

  Updated instructions for sending details of FM tools for the
database are at the head of the database, but at _Stanford_ at URL:
   ftp://www-formal.stanford.edu/pub/clt/FMTDB/fm_tools_db-instructions
There is now no charge for anyone since we are about to get EC support
for maintaining the database for the next 18 months.
  The database is now much easier to read. It is presented in two
formats: the first is human readable and the second is with fields
separated by tabs for loading into your favourite database
application.  Since there are only 31 entries, the former will
probably be the most useful for the present.
  More sites, especially in the European Community, are desired.
Anyone who can offer a site, please e-mail me. Updates are planned
every three months.
  Anyone wishing to have details of their tool put into the
database, please read the instructions available from one of
the above sites or e-mail me.
  Tim Denvir