Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Research Actions at LIFO > Research Action : VEHICULAIRE

 Site en Français



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



VEHICULAIRE : Modular and Parallel Verification

The VEHICULAIRE project aims at the design of BSP algorithms and their implementation using the functional parallel language BSML for efficient model checking. The models are expressed using a specific class of coloured Petri-nets: M-nets.

Funding

Groupement de Recherche Architecture, Systèmes, Réseaux (ASR), pôle Grille, Système et Parallélisme (GSP)

Participating Members

Radia BENHEDDI

Jean-Michel COUVREUR

Frédéric LOULERGUE

Duy Tung NGUYEN

Action's Web Page

http://www.univ-paris12.fr/lacl/gava/vehiculaire/vehiculaire.html