GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages
SPOT(7) User Commands SPOT(7)

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.

Generate LTL formulas from scalable patterns.
Filter, convert, and transform LTL or PSL formulas.
Mutate LTL or PSL formulas to generate similar but simpler ones. Use this when looking for shorter formula to reproduce a bug.
Generate random LTL or PSL formulas.

Filter, convert, and transform ω-automata.
Convert ω-automata into variants of Transition-based Büchi automata.
Generate ω-automata from scalable patterns.
Convert LTL or PSL into variants of Transition-based Generalized Büchi Automata, and to other types of automata.
Convert LTL or PSL into variants of Transition-based Generalized Testing Automata.
Synthesize AIGER circuits from LTL/PSL specifications.
Generate random ω-automata.

Cross-compare tools processing ω-automata, watch for bugs, and generate statistics.
Cross-compare translators of LTL or PSL formulas into ω-automata, watch for bugs, and generate statistics.
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 © 2024 by the Spot authors, see the AUTHORS File for details. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.
This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law.

autfilt(1) autcross(1) dstar2tgba(1) genaut(1) genltl(1) ltl2tgba(1) ltl2tgta(1) ltlcross(1) ltldo(1) ltlfilt(1) ltlgrind(1) ltlsynt(1) randaut(1) randltl(1) spot-x(7)

The Spot web page.

September 2024 spot (spot) 2.12.1

Search for    or go to Top of page |  Section 7 |  Main Index

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with ManDoc.