Projet de recherche IT/IF/015 (Action de recherche IT)
Ce projet a pour but le développement d'outils pour la vérification de propriétés de programmes parallèles exprimées en logique temporelle. La méthode de vérification adoptée est celle de l'évaluation sur modèle (model-checking). Le projet exploitera des améliorations récentes de cette technique qui rendent possible la vérification de programmes de taille importante.
