Це програма для Linux під назвою LTL3DRA для роботи в Linux онлайн, останню версію якої можна завантажити як ltl3dra-0.2.6.tar.gz. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою LTL3DRA для безкоштовного запуску в Linux онлайн з OnWorks.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть онлайн-емулятор OnWorks Linux або Windows або онлайн-емулятор MACOS з цього веб-сайту.
- 5. З ОС OnWorks Linux, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму, встановіть її та запустіть.
LTL3DRA для запуску в Linux онлайн
Ad
ОПИС
ПРОЕКТ ПЕРЕМІЩЕНО НА GITHUB, ПІДПИСАЙТЕСЬ https://github.com/xblahoud/ltl3draLTL3DRA є транслятором фрагмента формул LTL на детерміновані автомати Рабіна. Він заснований на популярному інструменті під назвою LTL3BA, написаному Томашем Баб’яком (доступний за адресою https://sourceforge.net/projects/ltl3ba/).
Переклад, який використовується в LTL3DRA, описано в
Т. Бабяк, Ф. Благоудек, М. Кржетінський та Й. Стрейчек: ефективний переклад LTL на детерміновані автомати Рабіна: за межами (F,G)-фрагмента (2013)
На 11-му Міжнародному симпозіумі з автоматизованих технологій для перевірки та аналізу (ATVA 2013)
Щоб зібрати LTL3DRA, бібліотека BuDDy (http://sourceforge.net/projects/buddy/) потрібен. Перевірено з приятелем 2.4.
Порівняльний показник, використаний у статті «Порівняння LTL з детермінованими перекладачами автоматів Рабіна», опублікованій на LPAR19, можна знайти у Files/LPAR19-benchmarks (https://sourceforge.net/projects/ltl3dra/files/LPAR19-benchmarks/).
Це додаток, який також можна отримати з https://sourceforge.net/projects/ltl3dra/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.
