Détails du projet
Description
Recherche sur la vérification formelle de systèmes informatiques: systèmes temps-réel, systèmes hybrides, systèmes cyber-physiques, systèmes à états infinis, vérification modulaire.
Acronyme | CFV |
---|---|
statut | En cours d'exécution |
Les dates de début/date réelle | 1/10/99 → … |
mots-clés
- specification de logiciel
- verification de modeles
- spécification de logiciel
- preuves de programmes
- verification de logiciels
- vérification de logiciels
- vérification de modèles
- méthodes formelles
- methodes formelles
Attachement à un institut de recherche reconnus à l'UNAMUR
- NADI
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.