spot − Command-line tools installed by Spot.
Spot is a C++ library for ω-automata and LTL formulas manipulation. It also comes with Python bindings and a set of command-line tools that are listed below.
Command−line tools installed by Spot.
genltl |
Generate LTL formulas from scalable patterns. |
ltlfilt
Filter, convert, and transform LTL or PSL formulas.
ltlgrind
Mutate LTL or PSL formulas to generate similar but simpler ones. Use this when looking for shorter formula to reproduce a bug.
randltl
Generate random LTL or PSL formulas.
autfilt
Filter, convert, and transform ω−automata.
dstar2tgba
Convert ω−automata into variants of Transition−based Büchi automata.
ltl2tgba
Convert LTL or PSL into variants of Transition−based Generalized Büchi Automata.
ltl2tgta
Convert LTL or PSL into variants of Transition−based Generalized Testing Automata.
randaut
Generate random ω−automata.
ltlcross
Cross−compare translators of LTL or PSL formulas into ω−automata, watch for bugs, and generate statistics.
ltldo |
Wrap any tool that inputs LTL or PSL formulas and possibly outputs ω−automata; provides Spot’s I/O interface. |
Report bugs to <spot@lrde.epita.fr>.
Copyright
© 2017 Laboratoire de Recherche et Développement
de l’Epita. License GPLv3+: GNU GPL version 3 or later.
This is free software: you are free to change and
redistribute it. There is NO WARRANTY, to the extent
permitted by law.
randltl(1)
genltl(1) ltlfilt(1) ltlrind(1)
randaut(1) ltl2tgba(1) ltl2tgta(1)
autfilt(1) ltlcross(1) ltldo(1)
spot-x(7)
The Spot web
page.