ltl3ba

We have hosted the application ltl3ba in order to run this application in our online workstations with Wine or directly.

Quick description about ltl3ba:

LTL3BA is a translator of LTL formulae to B�chi automata. It is based on the popular tool named LTL2BA written by Denis Oddoux and Paul Gastin (available at http: //www.lsv.ens-cachan.fr/~gastin/ltl2ba/).

LTL3BA further improves LTL2BA's performance. Most modifications are described in the paper:
T. Babiak, M. K?et�nsk�, V. ?eh�k, and J. Strej?ek: LTL to B�chi Automata Translation: Fast and More Deterministic, in Proceedings of TACAS 2012, volume 7214 of LNCS, pages 95-109. Springer-Verlag, 2012.

LTL3BA supports output in Hanoi Omega-Automata (HOA) format since version 1.1.0. More information about HOA can be found here: http: //adl.github.io/hoaf/

In order to compile LTL3BA, the BuDDy library (http: //sourceforge.net/projects/buddy/) is needed.

Audience: Science/Research, Education.
User interface: Command-line.
Programming Language: C++, C.
Categories: