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 → …

Keywords

  • 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
  • NADI