ltl3dra to run in linux online online with Winfy

We have hosted the application ltl3dra to run in linux online in order to run this application in our online workstations with Wine or directly.

Quick description about ltl3dra to run in linux online:

THE PROJECT HAS BEEN MOVED TO GITHUB, FOLLOW https: //github.com/xblahoud/ltl3dra

LTL3DRA is a translator of a fragment of LTL formulae to deterministic Rabin automata. It is based on the popular tool named LTL3BA written by Tomas Babiak (available at https: //sourceforge.net/projects/ltl3ba/).

The translation used in LTL3DRA is described in
T. Babiak, F. Blahoudek, M. K?et�nsk�, and J. Strej?ek: Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment (2013)
In 11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013)

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

The benchmark used in "Comparison of LTL to Deterministic Rabin Automata Translators" paper published on LPAR19 can be found in Files/LPAR19-benchmarks (https: //sourceforge.net/projects/ltl3dra/files/LPAR19-benchmarks/).



.