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

D 2022

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

DURET-LUTZ, Alexandre; Etienne RENAULT; Maximilien COLANGE; Florian RENKIN; Alexandre Gbaguidi AISSE et. al.

Základní údaje

Originální název

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

Autoři

Vydání

Cham, Computer Aided Verification, od s. 174-187, 14 s. 2022

Nakladatel

Springer International Publishing

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10200 1.2 Computer and information sciences

Stát vydavatele

Švýcarsko

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/22:00135155

Organizační jednotka

Fakulta informatiky

ISBN

978-3-031-13187-5

ISSN

DOI

https://doi.org/10.1007/978-3-031-13188-2_9

UT WoS

000870310500009

EID Scopus

2-s2.0-85135473501

Klíčová slova anglicky

Spot library; omega automata; model checking; acceptance transformations; alternating automata; LTL synthesis

Štítky

core_A, firank_1

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 24. 4. 2024 14:12, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

Spot is a C++17 library for LTL and {\$}{\$}{\backslash}omega {\$}{\$}$\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 {\$}{\$}{\backslash}omega {\$}{\$}$\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.

Citovat

DURET-LUTZ, Alexandre; Etienne RENAULT; Maximilien COLANGE; Florian RENKIN; Alexandre Gbaguidi AISSE; Philipp SCHLEHUBER-CAISSIER; Thomas MEDIONI; Antoine MARTIN; Jérôme DUBOIS; Clément GILLARD a Henrich LAUKO. From Spot 2.0 to Spot 2.10: What's New?. Online. In Sharon Shoham, Yakir Vizel. Computer Aided Verification. Cham: Springer International Publishing, 2022, s. 174-187. ISBN 978-3-031-13187-5. Dostupné z: https://doi.org/10.1007/978-3-031-13188-2_9.

@inproceedings{2298917,
   author = {DuretandLutz, Alexandre and Renault, Etienne and Colange, Maximilien and Renkin, Florian and Aisse, Alexandre Gbaguidi and SchlehuberandCaissier, Philipp and Medioni, Thomas and Martin, Antoine and Dubois, Jérôme and Gillard, Clément and Lauko, Henrich},
   address = {Cham},
   booktitle = {Computer Aided Verification},
   doi = {https://doi.org/10.1007/978-3-031-13188-2_9},
   editor = {Sharon Shoham, Yakir Vizel},
   keywords = {Spot library; omega automata; model checking; acceptance transformations; alternating automata; LTL synthesis},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {Cham},
   isbn = {978-3-031-13187-5},
   pages = {174-187},
   publisher = {Springer International Publishing},
   title = {From Spot 2.0 to Spot 2.10: What's New?},
   year = {2022}
}

TY  - CONF
ID  - 2298917
AU  - Duret-Lutz, Alexandre - Renault, Etienne - Colange, Maximilien - Renkin, Florian - Aisse, Alexandre Gbaguidi - Schlehuber-Caissier, Philipp - Medioni, Thomas - Martin, Antoine - Dubois, Jérôme - Gillard, Clément - Lauko, Henrich
PY  - 2022
TI  - From Spot 2.0 to Spot 2.10: What's New?
PB  - Springer International Publishing
CY  - Cham
SN  - 9783031131875
KW  - Spot library
KW  - omega automata
KW  - model checking
KW  - acceptance transformations
KW  - alternating automata
KW  - LTL synthesis
N2  - Spot is a C++17 library for LTL and {\$}{\$}{\backslash}omega {\$}{\$}$\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 {\$}{\$}{\backslash}omega {\$}{\$}$\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.
ER  -

DURET-LUTZ, Alexandre; Etienne RENAULT; Maximilien COLANGE; Florian RENKIN; Alexandre Gbaguidi AISSE; Philipp SCHLEHUBER-CAISSIER; Thomas MEDIONI; Antoine MARTIN; Jérôme DUBOIS; Clément GILLARD a Henrich LAUKO. From Spot 2.0 to Spot 2.10: What's New?. Online. In Sharon Shoham, Yakir Vizel. \textit{Computer Aided Verification}. Cham: Springer International Publishing, 2022, s.~174-187. ISBN~978-3-031-13187-5. Dostupné z: https://doi.org/10.1007/978-3-031-13188-2\_{}9.

Přehled o publikaci