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.
L'acronymeCFV
statutEn cours d'exécution
Les dates de début/date réelle1/10/99 → …

Attachement à un institut de recherche reconnus à l'UNAMUR

  • NADI

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