Ini ialah apl Linux bernama LTL3DRA untuk dijalankan di Linux dalam talian yang keluaran terbarunya boleh dimuat turun sebagai ltl3dra-0.2.6.tar.gz. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama LTL3DRA ini untuk dijalankan di Linux dalam talian dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
LTL3DRA untuk dijalankan di Linux dalam talian
Ad
DESCRIPTION
PROJEK TELAH DIPINDAHKAN KE GITHUB, FOLLOW https://github.com/xblahoud/ltl3draLTL3DRA ialah penterjemah serpihan formula LTL kepada automata Rabin yang menentukan. Ia berdasarkan alat popular bernama LTL3BA yang ditulis oleh Tomas Babiak (tersedia di https://sourceforge.net/projects/ltl3ba/).
Terjemahan yang digunakan dalam LTL3DRA diterangkan dalam
T. Babiak, F. Blahoudek, M. Křetínský, dan J. Strejček: Terjemahan Berkesan LTL kepada Deterministik Rabin Automata: Beyond the (F,G)-Fragment (2013)
Dalam Simposium Antarabangsa ke-11 mengenai Teknologi Automatik untuk Pengesahan dan Analisis (ATVA 2013)
Untuk menyusun LTL3DRA, perpustakaan BuDDy (http://sourceforge.net/projects/buddy/) diperlukan. Diuji dengan rakan 2.4.
Penanda aras yang digunakan dalam kertas "Perbandingan LTL kepada Penterjemah Automata Rabin Deterministik" yang diterbitkan pada LPAR19 boleh didapati dalam penanda aras Fail/LPAR19 (https://sourceforge.net/projects/ltl3dra/files/LPAR19-benchmarks/).
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/ltl3dra/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.
