Difference between revisions of "Publications/huvelle.19.seminar/fr"
From LRDE
| (6 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
| year = 2019 |
| year = 2019 |
||
| number = 1906 |
| number = 1906 |
||
| − | | resume = Spot |
+ | | resume = Spot peut gerer les automates testeurs depuis Spot 1.0. Cependant, Spot 2.0 introduit une nouvelle structure de données pour les automates avec des conditions d'acceptance génériques. Notre but est de réimplémenter les automates testeurs en utilisant cette nouvelle structure de données. Cela fait, nous espérons pouvoir réutiliser les algorithmes existants, réduire la quantité de code impliquant les automates testeurs et de rendre les automates testeurs compatibles avec le format HOA.L' implémentation choisis permettrait de reduire la taille des automates testeurs. |
| type = techreport |
| type = techreport |
||
| id = huvelle.19.seminar |
| id = huvelle.19.seminar |
||
Latest revision as of 18:23, 9 November 2020
- Auteurs
- Martin Huvelle
- Type
- techreport
- Année
- 2019
- Numéro
- 1906
Résumé
Spot peut gerer les automates testeurs depuis Spot 1.0. Cependant, Spot 2.0 introduit une nouvelle structure de données pour les automates avec des conditions d'acceptance génériques. Notre but est de réimplémenter les automates testeurs en utilisant cette nouvelle structure de données. Cela fait, nous espérons pouvoir réutiliser les algorithmes existants, réduire la quantité de code impliquant les automates testeurs et de rendre les automates testeurs compatibles avec le format HOA.L' implémentation choisis permettrait de reduire la taille des automates testeurs.