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

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F22%3A00135155" target="_blank" >RIV/00216224:14330/22:00135155 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.1007/978-3-031-13188-2_9" target="_blank" >http://dx.doi.org/10.1007/978-3-031-13188-2_9</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-13188-2_9" target="_blank" >10.1007/978-3-031-13188-2_9</a>

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10200 - Computer and information sciences

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2022

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Computer Aided Verification

ISBN

9783031131875

ISSN

0302-9743

e-ISSN

1611-3349

Number of pages

14

Pages from-to

174-187

Publisher name

Springer International Publishing

Place of publication

Cham

Event location

Haifa, Israel

Event date

Jan 1, 2022

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000870310500009