MonPoly

beta

A monitor for MFOTL specifications

Add a Review
3 Downloads (This Week)
Last Update:
Download ldcc.tar
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

Testers

User Interface

Command-line

Programming Language

OCaml (Objective Caml)

Registered

2013-07-25
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.