Spot

Spot is a platform for LTL and ω-automata manipulation.

Spot homepage