Owl

A tool collection and library for Omega-words, ω-automata and Linear Temporal Logic (LTL).

Quick Start

Download the latest release for your platform from the official website and perform the following steps:

  1. Unzip the distribution with: unzip -d <destination> owl-<platform>-<version>.zip
  2. Change into the directory containing the executable with: cd <destination>/bin

Usage Examples:

Content of the Distribution

Owl is distributed as a platform-specific distributions. Note that the platform-specific distributions contain a platform-independent Java library. A distribution contains the following folders:

See the format descriptions for a description of accepted inputs. Owl contains a variety of command-line tools originating from Rabinizer 4.0, Delag, and nbadet.

Building a Distribution

If there is no precompiled distribution for your platform available or if you want to use the latest snapshot, follow the build instructions to build your own distribution.

Citing

If you want to cite Owl or one of the implemented constructions, then please refer to the help messages (./owl <subcommand> --help, ./owl bibliography --help) to find the correct reference to cite.