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

Last commit date

7 October 2019

Related papers

Last publication date

12 July 2019

Related tools

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

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.