runtime-monitoring/whymon

A runtime monitoring tool that produces explanations as verdicts

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