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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow LTL3BA

LTL3BA Web Site

Other Useful Business Software

Everything Your Small Business Needs to Succeed | Connecteam

Connecteam is an award-winning all-in-one employee management solution for daily operations, communications, and human resource management.

Easily engage and manage non-desk employees with Connecteam’s mobile-first platform that helps improve communication, enhance daily processes and increase productivity with custom checklists, forms, and reports. Schedule shifts and track accurate work hours with Connecteam’s automated GPS time clock and easily export approved timesheets to payroll. Connecteam helps you keep your employees sharp thanks to knowledge base centers and advanced training courses. Raise morale with employee recognition rewards and keep the entire company updated through the main news feed.

Learn More

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

Similar Business Software

EMQX

EMQX is the world's most scalable and reliable MQTT messaging platform designed by EMQ. It supports 100M concurrent IoT device connections per cluster while maintaining extremely high throughput and sub-millisecond latency. EMQX boasts more than 20,000 global users from over 50 countries,...

See Software
akenza

Akenza is the IoT platform, allowing you to build smart solutions with value. It connects, controls, and manages IoT devices, all in one place. With simple and secure management of smart devices, connectivity, and data, the akenza IoT platform enables the rapid market introduction of...

See Software
The Asset Guardian EAM (TAG)

The Asset Guardian (TAG) has a proven 15-year track record for maintaining, managing and optimizing enterprise assets with thousands of users worldwide. TAG offers CMMS, EAM, APM, and Maintenance-as-a-Service applications that can scale with your organization’s needs and technological...

See Software