MonPoly Icon

MonPoly

beta

A monitor for MFOTL specifications

Add a Review
8 Downloads (This Week)
Last Update:
Download monpoly-1.1.6.tgz
Browse All Files

Description

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

The tool is developped as part of an academic project at ETH Zurich. Please visit the link below for more details on the project.

MonPoly Web Site

Categories

Log Analysis

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of MonPoly!

Additional Project Details

Intended Audience

Auditors, Testers

User Interface

Command-line

Programming Language

OCaml (Objective Caml)

Registered

2013-07-25

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks