• Summary
• LIFO Members (Directory)
• Research Teams
• CA
• GAMoC
• LMV
• Pamda
• SDS
• Research Actions
• Doctoral Research
• Seminars and Events
• Seminars (french)
• Events at LIFO
• Events out of LIFO
• Publications and Software
• Publications
• Doctoral and Habil. Theses
• Research Reports
• Software
• Technology transfer

• Contacts/Reaching LIFO
• Who's who at LIFO
• Coming to LIFO
• Teaching
• CS Department
• CS Technical Department
• INSA Centre-Val de Loire

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 99 29
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