Meije Verification Tools (Fc2Tools)

The project of MEIJE Concurrency, Synchronization and Real-Time Programming has central goal in the modelling of concurrent communicating systems and the implementation of related languages and verification systems. The class of models studied is that of process calculi, simple algebraic formalisms specially dedicated to the representation of concurrency issues. Synchronous reactive formalisms (such as the Esterel and RC languages) form a second key class of models. This type of formalisms aims at real-time programming with logical preemptive events. Meije Verification Tools (Fc2Tools) is a package for visualizing the communicating systems.

Current Version:   ??

License Type:   Free

Home Site:

Source Code Availability:


Available Binary Packages:

Targeted Platforms:

SUN Os4.1/Solaris, DEC Alpha, Linux

Software/Hardware Requirements:


Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Parallel Computing   |   Misc

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.