From Spot 2.0 to Spot 2.10: What's New? - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

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

Maximilien Colange
Alexandre Gbaguidi
  • Fonction : Auteur
Thomas Medioni
  • Fonction : Auteur
Jérôme Dubois
  • Fonction : Auteur
  • PersonId : 858546
  • IdRef : 130267414
Clément Gillard
  • Fonction : Auteur
Henrich Lauko
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
duret.22.cav.pdf (1.32 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03695817 , version 1 (15-06-2022)

Identifiants

Citer

Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi, et al.. From Spot 2.0 to Spot 2.10: What's New?. Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22), Aug 2022, Technion, Israel. ⟨hal-03695817⟩
35 Consultations
211 Téléchargements

Altmetric

Partager

More