LTL3BA Icon

LTL3BA

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

5.0 Stars (5)
6 Downloads (This Week)
Last Update:
Download ltl3ba-1.1.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.

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.

LTL3BA Web Site

KEEP ME UPDATED

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

  • 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    works great.

    Posted 02/17/2013
  • 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    works perfectly.

    Posted 01/23/2013
  • 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    Great app ltl3ba

    Posted 12/21/2012
  • 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    Great tool

    Posted 11/01/2012
  • 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    small and efficient and gets the job done.

    Posted 09/24/2012
Read more reviews

Additional Project Details

Languages

English

Intended Audience

Science/Research, Education

User Interface

Command-line

Programming Language

C++, C

Registered

2012-03-25

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks
Screenshots can attract more users to your project.
Features can attract more users to your project.