Owl: A Library for ω-Words, Automata, and LTL

KŘETÍNSKÝ, Jan; Tobias MEGGENDORFER a Salomon SICKERT. Owl: A Library for ω-Words, Automata, and LTL. In Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Springer, 2018, s. 543-550. ISBN 9783030010898. Dostupné z: https://doi.org/10.1007/978-3-030-01090-4_34.

Základní údaje

Originální název

Owl: A Library for ω-Words, Automata, and LTL

Autoři

KŘETÍNSKÝ, Jan; Tobias MEGGENDORFER a Salomon SICKERT

Vydání

Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, od s. 543-550, 8 s. 2018

Nakladatel

Springer

---

Další údaje

Typ výsledku

Stať ve sborníku

Označené pro přenos do RIV

Ne

Organizační jednotka

Fakulta informatiky

ISBN

9783030010898

ISSN

DOI

https://doi.org/10.1007/978-3-030-01090-4_34

---

Anotace

V originále

We present the library Owl (Omega-Words, automata, and LTL) for ω-automata and linear temporal logic. It forms a backbone of several translations from LTL to automata and related tools by different authors. We describe the functionality of the library and the recent experience, which has already shown the library is apt for easy prototyping of new tools in this area.