Questa è l'app Linux denominata MonPoly la cui ultima versione può essere scaricata come monpoly-1.1.10.tgz. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app denominata MonPoly con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
MonPoly
Ad
DESCRIZIONE
MonPoly è un prototipo di strumento di monitoraggio che verifica la conformità dei file di registro rispetto alle politiche specificate dalle formule in MFOTL (Metric First-Order Temporal Logic).
Una panoramica dello strumento, compreso il suo utilizzo e la cronologia, è disponibile nella scheda File: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.
Lo strumento è stato sviluppato nell'ambito di un progetto accademico presso l'ETH di Zurigo. Si prega di visitare il seguente link per maggiori dettagli sul progetto: http://www.infsec.ethz.ch/research/projects/mon_enf.
Il repository di sviluppo è stato spostato in https://bitbucket.org/monpoly/monpoly.
Pubblico
Revisori, tester
Interfaccia utente
Riga di comando
Linguaggio di programmazione
OCaml (Obiettivo Caml)
Questa è un'applicazione che può essere scaricata anche da https://sourceforge.net/projects/monpoly/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.
