Meije Verification Tools, first generation...

Mauto, Ecrins, Minilite

Copyright 1991-1995 INRIA

This page is the home-page for the Meije Verification Tools. It gives access to the WWW-online documentation for our tools, to the anonymous ftp repository containing their documentation, and eventually to the tools themselves, for those that are publiquely available (currently ATG). You may also be interested in our other presentation pages:

... and to related project/software presentation pages:

Last Versions

The last official version (v2-6beta) is now distributed for beta-testing. Here is the Changes Log. You will also find Here a list of known bugs of the current versions. If you want to be added to the beta-tester lists, just send me a mail (Eric.Madelaine@sophia.inria.fr)

Licencing information

Before you pick the systems, have a look at our Licensing information for Meije Verification Tools

Tool presentations, papers and manuals:

(some of those are not connected directly through this page; look through the ftp sites listed below to get those documents)

Ftp Anonymous sites

Including:

Any Other Information:
------------------------------------------------------------
fc2team@sophia.inria.fr

Eric.Madelaine@sophia.inria.fr

------------------------------------------------------------