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

From LRDE

(Created page with "{{CSIReportFR | authors = Jérôme Dubois | titre = Réduction basée sur des simulations d'ω-automates | year = 2021 | number = 2123 | resume = Les ω-automates, capables de...")
 
 
Line 4: Line 4:
 
| year = 2021
 
| year = 2021
 
| number = 2123
 
| number = 2123
| 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. L'une d'entre elles, basée sur les simulations, est très lente. Dans ce rapport, nous allons montrer comment l'accélérer en utilisant des méthodes algorithmiques et de la parallélisation.
+
| 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. L'une d'entre ellesbasée sur les simulations, est très lente. Dans ce rapport, nous allons montrer comment l'accélérer en utilisant des méthodes algorithmiques et de la parallélisation.
 
| type = techreport
 
| type = techreport
 
| id = dubois.21.seminar
 
| id = dubois.21.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. L'une d'entre ellesbasée sur les simulations, est très lente. Dans ce rapport, nous allons montrer comment l'accélérer en utilisant des méthodes algorithmiques et de la parallélisation.