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

Last commit date

21 October 2019

Related papers

https://doi.org/10.1007/978-3-319-63387-9_16 (CAV '17)

Last publication date

13 July 2017

ProVerB specific

View/edit source (Markdown)



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