Owl

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

Functionality (e.g., translations, simplifiers) is available through command-line tools and a Java and C-API. Details on how to use Owl are given in the usage instructions. For further information see the official website.

Content

The distribution contains the following: