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.

Project Activity

See All Activity >

Categories

Logging

Follow MonPoly

MonPoly Web Site

You Might Also Like
Powerful During Emergencies, Useful Every Day Icon
Powerful During Emergencies, Useful Every Day

Regroup connects you with the people you care about to keep them safe and informed – anytime, anywhere.

Regroup Mass Notification empowers better mass communication that keeps people safe and informed at all times. The company’s award-winning, cloud-based mass communication platform is what clients across North America and around the globe rely on to send both emergency and day-to-day communications to millions of people. By enabling one-click messaging to mobile devices, landlines, social media, email, websites, and more, Regroup Mass Notification helps organizations keep people safe, strengthen operational resilience, mitigate risk, and thrive in an increasingly unpredictable world.
Rate This Project
Login To Rate This Project

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)

Related Categories

OCaml (Objective Caml) Logging Software

Registered

2013-07-25