FreeBSD Manual Pages
SPOT(7) User Commands SPOT(7) NAME spot - Command-line tools installed by Spot. SYNOPSIS Spot is a C++ library for I-automata and LTL formulas manipulation. It also comes with Python bindings and a set of command-line tools that are listed below. DESCRIPTION Command-line tools installed by Spot. Tools that output LTL/PSL formulas: genltl Generate LTL formulas from scalable patterns. ltlf2dfa Convert LTLf to transition-based DFA. 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. ltlmix Combine LTL/PSL formulas taken randomly from some input set. randltl Generate random LTL or PSL formulas. Tools that output automata or circuits: autfilt Filter, convert, and transform I-automata. dstar2tgba Convert I-automata into variants of Transition-based BA1/4chi au- tomata. genaut Generate I-automata from scalable patterns. ltl2tgba Convert LTL or PSL into variants of Transition-based Generalized BA1/4chi Automata, and to other types of automata. ltl2tgta Convert LTL or PSL into variants of Transition-based Generalized Testing Automata. ltlfsynt Check realizability of LTLf specifications. ltlsynt Synthesize AIGER circuits from LTL/PSL specifications. randaut Generate random I-automata. Tools that run other tools: autcross Cross-compare tools processing I-automata, watch for bugs, and gen- erate statistics. ltlcross Cross-compare translators of LTL or PSL formulas into I-automata, watch for bugs, and generate statistics. ltldo Wrap any tool that inputs LTL or PSL formulas and possibly outputs I-automata; provides Spot's I/O interface. REPORTING BUGS Report bugs to <spot@lrde.epita.fr>. COPYRIGHT Copyright (C) 2025 by the Spot authors, see the AUTHORS File for details. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/li- censes/gpl.html>. This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. SEE ALSO autfilt(1) autcross(1) dstar2tgba(1) genaut(1) genltl(1) ltl2tgba(1) ltl2tgta(1) ltlcross(1) ltldo(1) ltlf2dfa(1) ltlfilt(1) ltlfsynt(1) ltl- grind(1) ltlmix(1) ltlsynt(1) randaut(1) randltl(1) spot-x(7) The Spot web page. spot (spot) 2.14.5 January 2026 SPOT(7)
NAME | SYNOPSIS | DESCRIPTION | REPORTING BUGS | COPYRIGHT | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=spot&sektion=7&manpath=FreeBSD+Ports+15.1.quarterly>