We are happy to announce that the following paper has been
accepted for publication at the 5th International Workshop on
Verification and Evaluation of Computer and Communication
Systems (VECoS'11) that will take place in Tunis, Tunisia, on
September 15-16, 2011.
LTL Translation Improvements in Spot
Laboratoire de Recherche et Développement de l'Epita (LRDE)
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.