LTL3BA

Translator of LTL formulae to Büchi automata based on LTL2BA

5.0 Stars (5)
1 Download (This Week)
Last Update:
Download ltl3ba-1.0.2.tar.gz
Browse All Files
Linux

Description

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.

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

LTL3BA Web Site

Update Notifications





User Ratings

★★★★★
★★★★
★★★
★★
5
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
Write a Review

User Reviews

There are no 4 star reviews.

Additional Project Details

Languages

English

Intended Audience

Education, Science/Research

User Interface

Command-line

Programming Language

C, C++

Registered

2012-03-25
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.