Ini adalah aplikasi Linux bernama Alternating Timed Automata Solver yang rilis terbarunya dapat diunduh sebagai ataoproject_1.2.beta.zip. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan secara online aplikasi bernama Alternating Timed Automata Solver dengan OnWorks ini secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Jalankan emulator online OnWorks Linux atau Windows online atau emulator online MACOS dari situs web ini.
- 5. Dari OS Linux OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Download aplikasinya, install dan jalankan.
Pemecah Automata Berwaktu Bergantian
DESKRIPSI:
Tujuan kami adalah mengembangkan pemecah kerja penuh untuk ATA (dengan 1 jam) dengan Python, dengan dukungan MTL ke ATA. Decidability untuk masalah kekosongan diusulkan oleh Lasota dan Walukiewicz. MTL ke ATA diusulkan oleh Ouaknine dan Worrell.
Fitur
- Pemecah kekosongan Automata Berwaktu Bergantian
- Terjemahan MTL ke ATA
- Operasi ATA umum (Union, Complementation, Intersection, Model checking)
Para penonton
Teknologi Informasi
User interface
Qt
Bahasa Pemrograman
Ular sanca
Lingkungan Basis Data
berbasis XML
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/atao/. Ini telah di-host di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.