Béatrice Bérard
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Petri, Réseaux de
Vérification de modèles
Méthodes formelles (informatique)
Vérification
Logiciels -- Vérification
Réseaux de Petri
Automates temporisés
Systèmes informatiques -- Mesures de sûreté
Modélisation par contraintes
Résolution par contraintes
Vérification de programmes
Interprétation abstraite
Programmation par contraintes
Résolution de problème -- Informatique
Systèmes dynamiques
Traitement réparti
Automates programmables
Décidabilité (logique mathématique)
Systèmes à paramètres répartis