Réduction efficace d'ω-automate

Auteurs

Jérôme Dubois

Type

techreport

Année

2022

Numéro

2202

Résumé

Les ω-automates, capables de modéliser des comportements infinis, sont utilisés dans de nombreux domaines dont la vérification de modèle. Les algorithmes utilisés sont en général très coûteux. Pour cette raison, on veut réduire la taille des automates, tout en préservant le langage reconnu en appliquant de nombreuses réductions. Dans ce rapport, dans la continuité du précédent, nous allons présenter de nouvelles améliorations à la réduction basée sur des simulations et un nouvel algorithme: le raffinement de chemin.