runtime-monitoring/whymymon Fork of runtime-monitoring/whymon

Language: Isabelle - Size: 5.85 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

runtime-monitoring/explanator2

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

Language: Isabelle - Size: 20 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

runtime-monitoring/whymon

A runtime monitoring tool that produces explanations as verdicts

Language: Isabelle - Size: 168 MB - Last synced at: 6 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 2