Difference between revisions of "Publications/duret.11.vecos"
From LRDE
| (3 intermediate revisions by the same user not shown) | |||
| Line 10: | Line 10: | ||
| 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. |
| 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. |
||
| None = http://ewic.bcs.org/category/15853 |
| None = http://ewic.bcs.org/category/15853 |
||
| − | | 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 |
| lrdeprojects = Spot |
||
| Line 23: | Line 22: | ||
Verification and Evaluation of Computer and Communication |
Verification and Evaluation of Computer and Communication |
||
Systems (VECoS'11)<nowiki>}</nowiki>, |
Systems (VECoS'11)<nowiki>}</nowiki>, |
||
| − | year = |
+ | year = 2011, |
series = <nowiki>{</nowiki>Electronic Workshops in Computing<nowiki>}</nowiki>, |
series = <nowiki>{</nowiki>Electronic Workshops in Computing<nowiki>}</nowiki>, |
||
address = <nowiki>{</nowiki>Tunis, Tunisia<nowiki>}</nowiki>, |
address = <nowiki>{</nowiki>Tunis, Tunisia<nowiki>}</nowiki>, |
||
Latest revision as of 12:14, 26 April 2016
- 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-07-25
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}
}