MONPOLY is a monitoring tool that checks compliance of log files with respect to policies. Policies are specified by formulas in metric first-order temporal logic.
5 latest activities
Categories: Debugging, Files/Data, Security
License: LGPL 2.1
Language: English
Development status: Development
Created: July 20th, 2011
Visibility: Public
License: LGPL 2.1
Language: English
Development status: Development
Created: July 20th, 2011
Visibility: Public
Be the first to follow
Project team
-
Project owners:
-
Public contributors:authenticated
-
Public viewers:anonymous
