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

A. Duret-Lutz Laboratoire de Recherche et Développement de l'Epita (LRDE)

http://publis.lrde.epita.fr/201109-VECOS

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.