A Tool for Timed Patten Matching with Automata-Based Acceleration
automata
monitoring
regular-expression
data-streaming
monitoring-tool
runtime-verification
formal-specification
-
Updated
May 29, 2024 - C++