LTL 2 BA : fast translation from LTL formulae to Büchi automata
Software written by Denis Oddoux (v1.0) and modified by Paul Gastin (v1.1)
The LTL2BA software was written by Denis Oddoux and modified by Paul Gastin.
It is based on the paper
LTL to Büchi Automata Translation presented at CAV '01.
See also Denis Oddoux's thesis (in french).
JLtl2Ba : a Java interface for LTL2BA