From Spot 2.0 to Spot 2.10: What's New?
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2022
- DOI:
- 10.48550/arXiv.2206.11366
- arXiv:
- arXiv:2206.11366
- Bibcode:
- 2022arXiv220611366D
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Computer Science and Game Theory
- E-Print:
- Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22), Aug 2022, Technion, Israel