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:

  • The Meije project home-pages (presentation en français, or in english,and our server)
  • Our new verification toolset (Fc2Tools)
  • Lotos tools at INRIA (MiniLite)
  • Esterel
  • Reactive Objects, by F.Boussinot, Meije project, Ecole des mines de Paris.
  • The Process Algebra Compiler
  • ... and to related project/software presentation pages:

  • The JACK project (IEI-CNR, Pisa)
  • The home page of the CONCUR2 Esprit-BRA
  • UPM Lotos page
  • UPM Lotos bib
  • The Caesar-Aldebaran tools, (VASY action, Inrialpes)
  • 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)

    General Presentation

  • The MEIJE Verification Tool Set (transparencies, COST247-WG2, Evry, Sep 1994)
  • Manuals:

  • Ecrins User Manual, Version 2.3 Ecrins User Manual, (postcript, 417K)
  • Mauto User Manual, Mauto Manuals, v2-5 (postscript docs, tar'ed and gzip'ed, 146K)
  • The FC2 Reference Manual, v1.1 (postscript, gziped, 52K)
  • An Autograph primer
  • (no document available yet for the new ATG version)
  • Papers: (for a full project bibliography in bibtex format, see here)

  • Verification Tools from the CONCUR project (EATCS Bulletin 47, postscript, gziped, 89K)
  • Auto/Autograph, (CAV'90)
  • Finiteness conditions and structural construction of automata for all process algebras (CAV'90, Dimacs series, and LNCS ??, postscript, gziped, 58K)
  • Proving Process Calculi Translations in ECRINS (INRIA, RR 1192)
  • Process Calculi, from Theory to Practice: Verification tools. (INRIA, RR1098, and LNCS 407)
  • A Front-End Generator For Verification Tools (Tacas Workshop, Aarhus 1995, postscript, 303K)
  • Case Studies:

  • Experiment with Auto and Autograph on a simple case of sliding window protocol
  • An exercise in Protocol Verification (Lotosphere Workshop, Pisa'92, postscript, gziped, 78K)
  • Specification and Verification of a Sliding Window Protocol in Lotos (Forte'91, postscript, gziped, 63K)
  • Ftp Anonymous sites

  • Mauto, Ecrins, and Minilite:
    Ftp from ftp-sop.inria.fr
  • Autograph, and Fc2Tools:
    Ftp from ftp-sop.inria.fr
  • Including:

  • FC2 distribution package, v11a (100 Kbytes)
  • ATG V3, sun4OS4 (1.3 Mbytes)
  • MeijeTools, v2-6beta, sun4OS4 (4.8 Mbytes)
  • Any Other Information:
    ------------------------------------------------------------
    fc2team@sophia.inria.fr

    Eric.Madelaine@sophia.inria.fr


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