This is the Linux app named LTL3DRA to run in Linux online whose latest release can be downloaded as ltl3dra-0.2.6.tar.gz. It can be run online in the free hosting provider OnWorks for workstations.
Download and run online this app named LTL3DRA to run in Linux online with OnWorks for free.
Follow these instructions in order to run this app:
- 1. Downloaded this application in your PC.
- 2. Enter in our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 3. Upload this application in such filemanager.
- 4. Start the OnWorks Linux online or Windows online emulator or MACOS online emulator from this website.
- 5. From the OnWorks Linux OS you have just started, goto our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 6. Download the application, install it and run it.
LTL3DRA to run in Linux online
DESCRIPTION:
THE PROJECT HAS BEEN MOVED TO GITHUB, FOLLOW https://github.com/xblahoud/ltl3draLTL3DRA 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/).
This is an application that can also be fetched from https://sourceforge.net/projects/ltl3dra/. It has been hosted in OnWorks in order to be run online in an easiest way from one of our free Operative Systems.