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 >

Categories

Scientific/Engineering

License

GNU General Public License version 2.0 (GPLv2)

Follow LTL3BA

LTL3BA Web Site

You Might Also Like
We help you deliver Virtual and Hybrid Events using our Award Winning end-to-end Event Management Platform Icon
We help you deliver Virtual and Hybrid Events using our Award Winning end-to-end Event Management Platform

Designed by event planners for event planners, the EventsAIR platform gives you the ability to manage your event, conference, meeting or function with

EventsAIR have been anticipating and responding to the ever-changing event industry needs for over 30 years, providing innovative solutions that empower event organizers to create successful events around the globe.
Learn More
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
Report inappropriate content