Spot 2.0 — A Framework for LTL and $$\omega $$ -Automata Manipulation

We present Spot 2.0, a C++ library with Python bindings and an assortment of command-line tools designed to manipulate LTL and $$\omega $$ -automata in batch. New automata-manipulation tools were introduced in Spot 2.0; they support arbitrary acceptance conditions, as expressible in the Hanoi Omega...

Full description

Saved in:
Bibliographic Details
Published inAutomated Technology for Verification and Analysis pp. 122 - 129
Main Authors Duret-Lutz, Alexandre, Lewkowicz, Alexandre, Fauchille, Amaury, Michaud, Thibaud, Renault, Étienne, Xu, Laurent
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing 2016
SeriesLecture Notes in Computer Science
Online AccessGet full text

Cover

More Information
Summary:We present Spot 2.0, a C++ library with Python bindings and an assortment of command-line tools designed to manipulate LTL and $$\omega $$ -automata in batch. New automata-manipulation tools were introduced in Spot 2.0; they support arbitrary acceptance conditions, as expressible in the Hanoi Omega Automaton format. Besides being useful to researchers who have automata to process, its Python bindings can also be used in interactive environments to teach $$\omega $$ -automata and model checking.
Bibliography:Original Title: Spot 2.0 — A Framework for LTL and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-Automata Manipulation
Original Abstract: We present Spot 2.0, a C++ library with Python bindings and an assortment of command-line tools designed to manipulate LTL and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-automata in batch. New automata-manipulation tools were introduced in Spot 2.0; they support arbitrary acceptance conditions, as expressible in the Hanoi Omega Automaton format. Besides being useful to researchers who have automata to process, its Python bindings can also be used in interactive environments to teach \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-automata and model checking.
ISBN:9783319465197
3319465198
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-46520-3_8