[T2] ================================================ AMAST Links 02 05

                    The Meije Verification Toolset 
                        for LOTOS verification

  The Meije Verification Toolset is connected to the Lotosphere 
environment and can be used for Lotos programs.  It contains tools for:

 o  building finite transition systems and minimizing them along 
    various bisimulation equivalences;

 o  abstracting them with a notion of abstract actions;

 o  proving equivalences;

 o  displaying the computed automata graphically.

The tools are concerned with implicit and explicit representations of
automata and with compositional computations.

  Further information may be obtained on the WWW at the URL:

   http://www.inria.fr/meije/meijetools.html

The _Minilite_ Lotosphere environment for Lotos is also distributed.