GitHub repository: runtime-monitoring/whymon
Primary language: Isabelle
Created: 2023-09-25T08:11:24Z
Description: A runtime monitoring tool that produces explanations as verdicts