A runtime monitoring tool that produces explanations as verdicts
Primary LanguageIsabelleGNU Lesser General Public License v3.0LGPL-3.0