Sitemap for Spot
autfilt
dstar2tgba
genltl
ltl2tgba
ltl2tgta
ltlcross
ltldo
ltlfilt
ltlgrind
randaut
randltl
- Citing Spot
- Code Examples
- Command-line tools installed by Spot
- Common input and output options for LTL/PSL formulas
- Common output options for automata
- Compiling against Spot
- Concepts
- Constructing and transforming formulas
- Converting Rabin (or Other) to Büchi, and simplifying it
- Converting a never claim into HOA
- Creating an automaton by adding states and transitions
- Custom print of an automaton
- Installing Spot
- Parsing and Printing LTL Formulas
- Reading and writing CSV files
- Relabeling Formulas
- SAT-based Minimization of Deterministic ω-Automata
- Spot: a platform for LTL and ω-automata manipulation
- Support for the Hanoi Omega Automata (HOA) Format
- Translating an LTL formula into a never claim
- Upgrading from Spot 1.2.6