]
]
]
]
Projet
Centre Fédéré en Vérification de Logiciel (CFV)
Période
depuis 1999
Mots clés
vérification de logiciels, preuves de programmes, vérification de modèles, spécification de logiciel, méthodes formelles
Description
Etudes des méthodes formelles pour la vérification assistée par ordinateur de systèmes concurrents: traitement du temps réel espaces d'états infinis modularité
Unités
Axes de recherche
Staff (contrats terminés)
Responsable(s) |
|||
| Pierre-Yves SCHOBBENS | Professeur | 081/724990 | |
Personnel scientifique |
|||
| Yves BONTEMPS | Scientifique | ||
| James ORTIZ VEGA | Scientifique | 081/725257 | |
Publications (1)
Actes de colloques
2011
Distributed Event Clock Automata: Extended abstract, in CIAA 2011, collection LNCS, volume 6807, pp. 250-263
James ORTIZ VEGA, Axel LEGAY, Pierre-Yves SCHOBBENS
James ORTIZ VEGA, Axel LEGAY, Pierre-Yves SCHOBBENS
Collaborations
- ULG - Université de Liège, Faculté des Sciences appliquées
- Université Libre de Bruxelles (ULB), Département d'Informatique
- UMH - Université de Mons-Hainaut, Institut d'Informatique
- Université Catholique de Louvain (UCL), Département d'Ingénierie Informatique
Financement
- FRFC - FNRS
