From Spot 2.0 to Spot 2.10: What's New?

Download PDF
Open Webpage

Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko

Published: 01 Jan 2022, Last Modified: 15 Nov 2025CAV (2) 2022EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Spot is a C++17 library for LTL and \(\omega \)-automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, since the release of Spot 2.0, which was the first version to support \(\omega \)-automata with arbitrary acceptance conditions, and the last version presented at a conference. Since then, Spot has been extended with several features such as acceptance transformations, alternating automata, games, LTL synthesis, and more. We also shed some lights on the data-structure used to store automata.