[T2] ================================================ AMAST Links 02 08

                Fc2Tools Verification Toolset Available

  Fc2Tools is a major rewriting of previous (and still existing)
Auto/Graph, a popular verification software for concurrent systems
based on process algebra results and finite model properties.
  The most striking features of Fc2Tools are:
 o  A modular toolsuite design, based on common file representation 
    format (Fc2) for description of communicating automata and 
    networks of such;
 o  Simple graphical edition, and process-algebra style interpretation 
    (with Autograph);
 o  Combined or redundant implementations using both implicit and 
    explicit representation methods for finite state models, whatever 
    fits best a given case;
 o  verification by compositional reductions and abstraction of models,
    avoiding state explosion as much as possible.
  Current distribution is available for Sun4OS4, and soon on DEC-Alpha
architecture.  All information can be obtained from URL:
http://cma.cma.fr:80/Verification/verif-eng.html
or by emailing to: fc2team@cma.cma.fr
  Enjoy,
  Amar Bouali, Annie Ressouche, Valerie Roy, Robert de Simone.