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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow LTL3BA

LTL3BA Web Site

Other Useful Business Software
Tigerpaw One | Business Automation Software for SMBs Icon
Tigerpaw One | Business Automation Software for SMBs

Fed up with not having the time, money and resources to grow your business?

The only software you need to increase cash flow, optimize resource utilization, and take control of your assets and inventory.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of LTL3BA!

Additional Project Details

Operating Systems

Linux

Languages

English

Intended Audience

Science/Research, Education

User Interface

Command-line

Programming Language

C++, C

Related Categories

C++ Scientific Engineering, C Scientific Engineering

Registered

2012-03-25