runtime-monitoring

Pinned Repositories

explanator2
Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
Language:Isabelle1 5 10
whymon
A runtime monitoring tool that produces explanations as verdicts
Language:Isabelle2 3 14
whymymon
Language:Isabelle00

runtime-monitoring's Repositories

runtime-monitoring/whymon
A runtime monitoring tool that produces explanations as verdicts
Language:Isabelle2 3 14
runtime-monitoring/explanator2
Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
Language:Isabelle1 5 10
runtime-monitoring/whymymon
Language:Isabelle00