François Laroussinie
Mots clés
FR |
EN
Logiciels -- Vérification
Logique temporelle
Vérification
Méthodes formelles
Vérification formelle
Automates programmables
Logique informatique
Sciences appliquées
Spécification
Système réactif
Temporal logic
Specification
Verification
Reactive system
Test
Génération aléatoire
Chemins infaisables
Exécution symbolique
Méthodes formelles (informatique)
Logiciels -- Essais