next up previous

Final Report of the COST-247 Action

The MEIJE verification toolset: new tools, and pragmatics

Eric Madelaine

INRIA Sophia-Antipolis
2004 rte des Lucioles
06902 Sophia-Antipolis Cedex
Tel: (+33) 4 93 65 78 07
Fax: (+33) 4 93 65 77 65


We present the MEIJE Verification Tool Set, including the tools ATG, Mauto and FcTools. The Verification Tool Set provides means for: drawing and editing automata and hierarchical networks of automata; building finite automata from those drawings, or from programs in CCS, Meije, Lotos, or Esterel; perform this building in a compositional way, together with various notions of semantic minimizations and abstractions; display graphically the results, and extract diagnostic information from elements of the reduced models. We comment on various exemples and case studies, and we discuss the size limits of the ToolSet.

This presentation has been given during the COST-247 3rd Management Committee Meeting (Evry, France, September 19--20, 1994).

COST-247 Working Group(s): 2

Web Link :

Web Link (the transparencies from this presentation) :

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page