Ini adalah aplikasi Linux bernama MonPoly yang rilis terbarunya dapat diunduh sebagai monpoly-1.1.10.tgz. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan secara online aplikasi bernama MonPoly 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.
MonPoli
Ad
DESKRIPSI
MonPoly adalah alat pemantauan prototipe yang memeriksa kepatuhan file log sehubungan dengan kebijakan yang ditentukan oleh rumus di MFOTL (Logika Temporal Orde Pertama Metrik).
Ikhtisar alat, termasuk penggunaan dan riwayatnya, dapat ditemukan di bawah tab File: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.
Alat ini dikembangkan sebagai bagian dari proyek akademik di ETH Zurich. Silakan kunjungi tautan berikut untuk detail lebih lanjut tentang proyek: http://www.infsec.ethz.ch/research/projects/mon_enf.
Repositori pengembangan telah dipindahkan ke https://bitbucket.org/monpoly/monpoly.
Para penonton
Auditor, Penguji
User interface
Garis komando
Bahasa Pemrograman
OCaml (Caml Tujuan)
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/monpoly/. Ini telah di-host di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.
