VeriMon: a formally verified monitoring tool

DOI10.1007/978-3-031-17715-6_1MaRDI QIDQ6109465zbMATH OpenFDO

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

Publication date 28 July 2023

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

Full work available at URL https://doi.org/10.1007/978-3-031-17715-6_1

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A formally verified, optimized monitor for metric first-order dynamic logic
• Code generation via higher-order rewrite systems
• First-order temporal logic monitoring with BDDs
• Isabelle/HOL. A proof assistant for higher-order logic
• Monitoring metric first-order temporal properties

Cited in

(2)

• Online monitoring of metric temporal logic using sequential networks
• Formalizing MLTL formula progression in Isabelle/HOL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6109465)