Commit 57a6bf03 authored by Martin Huvelle's avatar Martin Huvelle
Browse files

1906: butcher abstract

parent 76237e31
Pipeline #10398 passed with stages
in 4 minutes and 1 second
......@@ -3576,19 +3576,16 @@ recherche et d'analyse d'information (lexicale, s\'emantique etc.).
code specific to testing automata, and to make testing automata compatible
with HOA format. Additionally, our preliminary implementation seems to
produce smaller testing-automata than the original one.},
resume = {Spot est une biblioth\`eque d'algorithmes de v\'erification de
mod\`eles qui peut g\'erer plusieurs types d'automate omega. Spot peut aussi
gerer les automates testeurs depuis Spot 1.0.
Cependant, Spot 2.0 a introduit une nouvelle structure de donn\'ees pour les
automates avec des conditions d'acceptance g\'en\'eriques et qui n'\'etait
pas disponible quand les automates testeurs ont \'et\'e impl\'ement\'es.
resume = {Spot peut gerer les automates testeurs depuis Spot 1.0.
Cependant, Spot 2.0 introduit une nouvelle structure de donn\'ees pour les
automates avec des conditions d'acceptance g\'en\'eriques.
Notre but est de r\'eimpl\'ementer les automates testeurs en utilisant cette
nouvelle structure de donn\'ees.
Cela fait, nous esp\'erons pouvoir r\'eutiliser les algorithmes existants,
r\'eduire la quantit\'e de code impliquant les automates testeurs et de
rendre les automates testeurs compatibles avec le format HOA. Pour finir,
l'impl\'ementation choisis permettrait de reduire la taille des automates
testeurs compar\'ee \`a l'impl\'ementation originale.}
rendre les automates testeurs compatibles avec le format HOA.L'
impl\'ementation choisis permettrait de reduire la taille des automates
testeurs.}
}
@TechReport{ iovene.15.seminar,
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment