PV4 SyMon: SYmbolic MONitorchecks whether an event log conforms to the automata specification

A tool for symbolic monitoring of logs that supports both timing and data parameters.

Application domain/field

Type of tool

Monitoring tool

Expected input

Format:

Internals

Uses Parma Polyhedra Library (PPL)

Comments

License: GPL v3.0
Monitoring

Links

Related papers

Last publication date

12 July 2019

Related tools

Monitoring tools that support reasoning about data: MarQ, MonPoly, DejaVu.

ProVerB specific

Markdown description: view/edit



ProVerB is a part of SLEBoK. Last updated: February 2023.