UP | HOME

Spot

Table of Contents

Spot is a C++11 library for ω-automata manipulation and model checking. It has the following notable features:

Latest version

The latest version is 1.99.3 and was released on 2015-08-26. Please see the download and installation instructions.

Documentation

On-line LTL/PSL translator

  • This page provides a convenient way to translate LTL or PSL formulas into automata, without installing Spot.

License

Spot is distributed under a GNU GPL v3 license.

A consequence is that if you distribute a tool built using Spot, you must make the source code of that tool available as well.

Staying in touch

spot-announce@lrde.epita.fr is an extremely low-traffic and read-only mailing list for release announcements. If you want to stay informed about future releases of Spot, we invite you to subscribe.

spot@lrde.epita.fr is a list for general discussions and questions about Spot. Subscribe here if you want to join, but feel free to send in any question (in English) or bug report without subscribing.

Author: root

Created: 2015-08-26 Wed 09:02

Emacs 24.4.1 (Org mode 8.2.10)

Validate