Difference between revisions of "Publications/dubois.22.seminar/fr"

From LRDE

(Created page with "{{CSIReportFR | authors = Jérôme Dubois | titre = Réduction efficace d'ω-automate | year = 2022 | number = 2202 | resume = Les ω-automates, capables de modéliser des com...")
 
 
Line 4: Line 4:
 
| year = 2022
 
| year = 2022
 
| number = 2202
 
| number = 2202
| resume = 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.
+
| resume = 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 rapportdans 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.
 
| type = techreport
 
| type = techreport
 
| id = dubois.22.seminar
 
| id = dubois.22.seminar

Latest revision as of 14:45, 10 March 2022

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 rapportdans 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.