Multi-Rule Monitor

Description

A Python implementation of algorithms for monitoring multiple Datalog-like rules as constraints on event logs

Dependencies

The following dependencies are required to run this project:

• z3-solver: A Python package for working with the Z3 theorem prover. It provides a high-level API to construct formulas and check satisfiability.

pip install z3-solver

• pandas: A data manipulation and analysis library for Python. It provides neat data structures for presenting experimental results.

pip install pandas

Usage

python3 start.py log_file rule_file

For example:

python3 start.py example_logs/log.txt rules/small-rule-1.txt

See rules folder for examples of rule syntax.

See logs folder for examples of log format.

Contact

email: [email protected]