|Final Report of the COST-247 Action|
The MEIJE verification toolset: new tools, and pragmatics
|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 (the transparencies from this presentation) : http://www.inria.fr/meije/meijetools/cost247.evry/slides.html
This Page was prepared by Mark Jorgensen.