A data-oriented runtime verification implementation of the algorithm described in Online monitoring of metric temporal logic using sequential networks.
The object-oriented implementation by @doganulus can be seen at reelay.
arincdemir/do-verify
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|