monpoly online with Winfy

We have hosted the application monpoly in order to run this application in our online workstations with Wine or directly.

Quick description about monpoly:

MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic).

An overview of the tool, including its usage and history, can be found under the Files tab: https: //sourceforge.net/projects/monpoly/files/monpoly.pdf/download.

The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project: http: //www.infsec.ethz.ch/research/projects/mon_enf.

The development repository has moved to https: //bitbucket.org/monpoly/monpoly.

Audience: Auditors, Testers.
User interface: Command-line.
Programming Language: OCaml (Objective Caml).

.