PV1 Montresearches for patterns of a given form in a stream of events

Monitoring tool that searches for patterns specified by timed regular expressions (TREs) over real-time behaviors

Application domain/field

Type of tool

Pattern matcher

Expected input

Format:

Internals

Montre is also called a "timed regular expression matcher". It is available as a command-line tool

Comments

License: GPL-3.0

Links

Repository: https://github.com/doganulus/montre

Related papers

Montre: A Tool for Monitoring Timed Regular Expressions (CAV '17)

Last publication date

13 July 2017

ProVerB specific



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