Mihaela Sighireanu,
Radu Mateescu,
Daniel
Simon,
Alain Girault et
Eric Rutten : vérification de propriétés
temporelles en µ-calcul :
- Modèle = automate d'états fini avec des actions sur les
étiquettes
- Permet d'écrire des propriétés sur les chemins et sur les étiquettes
- Lien entre Orccad et Evaluator
Eric Rutten : génération de contrôleurs
sûrs de modes de commande
Utilisation de la synthèse de contrôleurs à événements discrets (avec
Sigali)
