Ini ialah apl Linux bernama MonPoly yang keluaran terbarunya boleh dimuat turun sebagai monpoly-1.1.10.tgz. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama MonPoly ini 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.
MonPoly
Ad
DESCRIPTION
MonPoly ialah alat pemantauan prototaip yang menyemak pematuhan fail log berkenaan dengan dasar yang ditentukan oleh formula dalam MFOTL (Metric First-Order Temporal Logic).
Gambaran keseluruhan alat, termasuk penggunaan dan sejarahnya, boleh didapati di bawah tab Fail: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.
Alat ini dibangunkan sebagai sebahagian daripada projek akademik di ETH Zurich. Sila layari pautan berikut untuk butiran lanjut mengenai projek: http://www.infsec.ethz.ch/research/projects/mon_enf.
Repositori pembangunan telah berpindah ke https://bitbucket.org/monpoly/monpoly.
Penonton
Juruaudit, Penguji
Antaramuka pengguna
Barisan arahan
Bahasa Pengaturcaraan
OCaml (Caml Objektif)
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/monpoly/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.
