runtime-monitoring

runtime-monitoring

Geek Repo

Github PK Tool:Github PK Tool

runtime-monitoring's repositories

explanator2

Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.

Language:IsabelleLicense:LGPL-3.0Stargazers:1Issues:5Issues:1

whymon

A runtime monitoring tool that produces explanations as verdicts

Language:IsabelleLicense:LGPL-3.0Stargazers:1Issues:3Issues:1
Language:IsabelleLicense:LGPL-3.0Stargazers:0Issues:0Issues:0