Difference between revisions of "Publications/duret.16.atva2"
From LRDE
(Created page with "{{Publication | published = true | date = 2016-10-01 | authors = Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu | ti...") |
|||
(10 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
{{Publication |
{{Publication |
||
| published = true |
| published = true |
||
− | | date = 2016- |
+ | | date = 2016-06-17 |
| authors = Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu |
| authors = Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu |
||
− | | title = Spot 2.0 |
+ | | title = Spot 2.0 — a framework for LTL and ω-automata manipulation |
| booktitle = Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) |
| booktitle = Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) |
||
| series = Lecture Notes in Computer Science |
| series = Lecture Notes in Computer Science |
||
| publisher = Springer |
| publisher = Springer |
||
− | | volume = |
+ | | volume = 9938 |
− | | pages = |
+ | | pages = 122 to 129 |
⚫ | | abstract = We present Spot 2.0, a C++ library with Python bindings and an assortment of command-line tools designed to manipulate LTL and <math>\omega</math>-automata in batch. New automata-manipulation tools were introduced in Spot 2.0; they support arbitrary acceptance conditions, as expressible in the Hanoi Omega Automaton format. Besides being useful to researchers who have automata to processits Python bindings can also be used in interactive environments to teach <math>\omega</math>-automata and model checking. |
||
− | | pdf = adl/duret.16.atva2.pdf |
||
⚫ | | abstract = We present Spot 2.0, a C++ library with Python bindings and an assortment of command-line tools designed to manipulate LTL and |
||
| lrdeprojects = Spot |
| lrdeprojects = Spot |
||
| lrdepaper = http://www.lrde.epita.fr/dload/papers/duret.16.atva2.pdf |
| lrdepaper = http://www.lrde.epita.fr/dload/papers/duret.16.atva2.pdf |
||
− | | lrdenewsdate = 2016-06-17 |
+ | | lrdenewsdate = 2016-06-17 |
| type = inproceedings |
| type = inproceedings |
||
| id = duret.16.atva2 |
| id = duret.16.atva2 |
||
+ | | identifier = doi:10.1007/978-3-319-46520-3_8 |
||
| bibtex = |
| bibtex = |
||
@InProceedings<nowiki>{</nowiki> duret.16.atva2, |
@InProceedings<nowiki>{</nowiki> duret.16.atva2, |
||
Line 28: | Line 28: | ||
series = <nowiki>{</nowiki>Lecture Notes in Computer Science<nowiki>}</nowiki>, |
series = <nowiki>{</nowiki>Lecture Notes in Computer Science<nowiki>}</nowiki>, |
||
publisher = <nowiki>{</nowiki>Springer<nowiki>}</nowiki>, |
publisher = <nowiki>{</nowiki>Springer<nowiki>}</nowiki>, |
||
− | volume = <nowiki>{</nowiki> |
+ | volume = <nowiki>{</nowiki>9938<nowiki>}</nowiki>, |
− | pages = <nowiki>{</nowiki> |
+ | pages = <nowiki>{</nowiki>122--129<nowiki>}</nowiki>, |
year = <nowiki>{</nowiki>2016<nowiki>}</nowiki>, |
year = <nowiki>{</nowiki>2016<nowiki>}</nowiki>, |
||
month = oct, |
month = oct, |
||
− | pdf = <nowiki>{</nowiki>adl/duret.16.atva2.pdf<nowiki>}</nowiki>, |
||
abstract = <nowiki>{</nowiki>We present Spot 2.0, a C++ library with Python bindings |
abstract = <nowiki>{</nowiki>We present Spot 2.0, a C++ library with Python bindings |
||
and an assortment of command-line tools designed to |
and an assortment of command-line tools designed to |
||
Line 42: | Line 41: | ||
its Python bindings can also be used in interactive |
its Python bindings can also be used in interactive |
||
environments to teach $\omega$-automata and model checking.<nowiki>}</nowiki>, |
environments to teach $\omega$-automata and model checking.<nowiki>}</nowiki>, |
||
− | + | doi = <nowiki>{</nowiki>10.1007/978-3-319-46520-3_8<nowiki>}</nowiki> |
|
<nowiki>}</nowiki> |
<nowiki>}</nowiki> |
||
Latest revision as of 11:30, 1 April 2019
- Authors
- Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu
- Where
- Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16)
- Type
- inproceedings
- Publisher
- Springer
- Projects
- Spot
- Date
- 2016-06-17
Abstract
We present Spot 2.0, a C++ library with Python bindings and an assortment of command-line tools designed to manipulate LTL and -automata in batch. New automata-manipulation tools were introduced in Spot 2.0; they support arbitrary acceptance conditions, as expressible in the Hanoi Omega Automaton format. Besides being useful to researchers who have automata to processits Python bindings can also be used in interactive environments to teach -automata and model checking.
Documents
Bibtex (lrde.bib)
@InProceedings{ duret.16.atva2, author = {Alexandre Duret-Lutz and Alexandre Lewkowicz and Amaury Fauchille and Thibaud Michaud and Etienne Renault and Laurent Xu}, title = {Spot 2.0 --- a framework for {LTL} and $\omega$-automata manipulation}, booktitle = {Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16)}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {9938}, pages = {122--129}, year = {2016}, month = oct, abstract = {We present Spot 2.0, a C++ library with Python bindings and an assortment of command-line tools designed to manipulate LTL and $\omega$-automata in batch. New automata-manipulation tools were introduced in Spot 2.0; they support arbitrary acceptance conditions, as expressible in the Hanoi Omega Automaton format. Besides being useful to researchers who have automata to process, its Python bindings can also be used in interactive environments to teach $\omega$-automata and model checking.}, doi = {10.1007/978-3-319-46520-3_8} }