Difference between revisions of "Publications/duret.11.vecos"
From LRDE
Line 11: | Line 11: | ||
| urllrde = 201109-VECOS |
| urllrde = 201109-VECOS |
||
| lrdepaper = http://www.lrde.epita.fr/dload/papers/duret.11.vecos.pdf |
| lrdepaper = http://www.lrde.epita.fr/dload/papers/duret.11.vecos.pdf |
||
+ | | lrdeprojects = Spot |
||
| type = inproceedings |
| type = inproceedings |
||
| id = duret.11.vecos |
| id = duret.11.vecos |
||
Line 31: | Line 32: | ||
translation competes on various benchmarks, and we give |
translation competes on various benchmarks, and we give |
||
some insight into its implementation.<nowiki>}</nowiki>, |
some insight into its implementation.<nowiki>}</nowiki>, |
||
− | url = <nowiki>{</nowiki>http://ewic.bcs.org/category/15853<nowiki>}</nowiki> |
+ | url = <nowiki>{</nowiki>http://ewic.bcs.org/category/15853<nowiki>}</nowiki>, |
+ | lrdeprojects = <nowiki>{</nowiki>Spot<nowiki>}</nowiki> |
||
<nowiki>}</nowiki> |
<nowiki>}</nowiki> |
||
Revision as of 18:07, 4 November 2013
- Authors
- Alexandre Duret-Lutz
- Where
- Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11)
- Place
- Tunis, Tunisia
- Type
- inproceedings
- Publisher
- British Computer Society
- Projects
- Spot
- Date
- 2011-09-01
Abstract
Spot is a library of model-checking algorithms. This paper focuses on the module translating LTL formulæ into automata. We discuss improvements that have been implemented in the last four years, we show how Spot's translation competes on various benchmarks, and we give some insight into its implementation.
Documents
Bibtex (lrde.bib)
@InProceedings{ duret.11.vecos, author = {Alexandre Duret-Lutz}, title = {{LTL} Translation Improvements in {Spot}}, booktitle = {Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11)}, year = {2011}, series = {Electronic Workshops in Computing}, address = {Tunis, Tunisia}, month = sep, publisher = {British Computer Society}, abstract = {Spot is a library of model-checking algorithms. This paper focuses on the module translating LTL formul{\ae} into automata. We discuss improvements that have been implemented in the last four years, we show how Spot's translation competes on various benchmarks, and we give some insight into its implementation.}, url = {http://ewic.bcs.org/category/15853}, lrdeprojects = {Spot} }