Montre: A Tool for Monitoring Timed Regular Expressions

CAV, 2017.

Cited by: 27|Bibtex|Views8|Links
EI

Abstract:

We present Montre, a monitoring tool to search patterns specified by timed regular expressions over real-time behaviors. We use timed regular expressions as a compact, natural, and highly-expressive pattern specification language for monitoring applications involving quantitative timing constraints. Our tool essentially incorporates onlin...More

Code:

Data:

Your rating :
0

 

Tags
Comments