Repositories list

• whymymon

  Public
  Isabelle

  •

  GNU Lesser General Public License v3.0

  •4•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• explanator2

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

  ocamlisabelleruntime-verification+ 1runtime-monitoring

  Isabelle

  •

  GNU Lesser General Public License v3.0

  •0•1•0•0•Updated Dec 14, 2024Dec 14, 2024

• whymon

  Public
  A runtime monitoring tool that produces explanations as verdicts

  runtime-monitoringexplainabletemporal-logics

  Isabelle

  •

  GNU Lesser General Public License v3.0

  •4•1•1•0•Updated Nov 28, 2024Nov 28, 2024