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: http://www.inria.fr/meije/meijetools.html http://www.inria.fr/Equipes/MEIJE-eng.html Source Code Availability: ?? Available Binary Packages: Debian Package: No RedHat RPM Package: No Other Packages: Yes, ftp://ftp-sop.inria.fr/meije/verif/ Targeted Platforms: SUN Os4.1/Solaris, DEC Alpha, Linux Software/Hardware Requirements: ??

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Parallel Computing   |   Misc