Difference between revisions of "Publications/duret.11.vecos"
From LRDE
(Created page with "{{Publication | date = 2011-09-01 | authors = Alexandre Duret-Lutz | title = LTL Translation Improvements in Spot | booktitle = Proceedings of the 5th International Workshop o...") |
|||
Line 10: | Line 10: | ||
| None = http://ewic.bcs.org/category/15853 |
| None = http://ewic.bcs.org/category/15853 |
||
| urllrde = 201109-VECOS |
| urllrde = 201109-VECOS |
||
+ | | lrdepaper = http://www.lrde.epita.fr/dload/papers/duret.11.vecos.pdf |
||
| type = inproceedings |
| type = inproceedings |
||
| id = duret.11.vecos |
| id = duret.11.vecos |
Revision as of 16:42, 22 October 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
- 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} }