VeriMon: a formally verified monitoring tool

DOI10.1007/978-3-031-17715-6_1MaRDI QIDQ6109465

Sheila Zingg, Emanuele Marsicano, Nicolas Kaletsch, Jonathan Julián Huerta y Munive, Dmitriy Traytel, Lukas Heimes, Thibault Dardinier, Martin Raszyk, David A. Basin, Srđan Krstić, Nico Hauser, Joshua Schneider, Dawit Legesse Tirore

Publication date: 28 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Isabelle/HOL. A proof assistant for higher-order logic
• A formally verified, optimized monitor for metric first-order dynamic logic
• First-order temporal logic monitoring with BDDs
• Monitoring Metric First-Order Temporal Properties
• Code Generation via Higher-Order Rewrite Systems

This page was built for publication: VeriMon: a formally verified monitoring tool