The VERCORS platform:

VERification de modèles pour COmposants Repartis communicants, surs et Securise

VERification of models for distributed communicating COmponants, with safety and Security

This page has been moved to: http://www-sop.inria.fr/oasis/index.php?page=vercors