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.2 & 1.3)


Please fill in the following form to get the LTL2BA program.
We will not use this information to spam you, we would just like to keep track of people downloading our tool, so that we can inform you of the release of future versions.
Name:
Institution:
Country:
E-mail:
 

The LTL2BA software was written by Denis Oddoux and modified by Paul Gastin.
It is based on the paper Fast LTL to Büchi Automata Translation presented at CAV '01.
See also Denis Oddoux's thesis (in french).
On-line demo
Paul Gastin