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:
-
A modular toolsuite design, based on common file representation
format (Fc2) for description of communicating automata and
networks of such;
-
Simple graphical edition, and process-algebra style interpretation
(with Autograph);
-
Combined or redundant implementations using both implicit and
explicit representation methods for finite state models, whatever
fits best a given case;
-
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
or by emailing to: fc2team@cma.cma.fr
Enjoy,
Amar Bouali, Annie Ressouche, Valerie Roy, Robert de Simone.