We are happy to announce that the following article has been accepted
to the 34th International Conference on Computer Aided Verification
(CAV'22) to be held in Haifa, Israel, in August 7-10, 2022.
======================================================================
From Spot 2.0 to Spot 2.10: What's New?
Alexandre Duret-Lutz¹ Étienne Renault¹ Maximilien Colange²
Florian Renkin¹ Alexandre Gbaguidi Aisse²
Philipp Schlehuber-Caissier¹ Thomas Medioni² Antoine Martin¹
Jérôme Dubois¹ Clément Gillard² Henrich Lauko²
¹LRDE, EPITA, France
²previously at LRDE
Spot is a C++17 library for LTL and ω-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 ω-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.
https://www.lrde.epita.fr/wiki/Publications/duret.22.cav
======================================================================