DownloadMonPoly 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.
Categories
LoggingFollow MonPoly
You Might Also Like
Engage is a pre-built, intelligent contact center platform that transforms customer service.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of MonPoly!