Updated details of the Formal Methods Tools database can be obtained from the following locations:
Updated instructions for sending details of FM tools for the database are at the head of the database, but at Stanford . 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