VeriMon: A Formally Verified Monitoring Tool

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

International Colloquium on Theoretical Aspects of Computing (ICTAC)（2022）

引用 1|浏览22

暂无评分

摘要

A runtime monitor observes a running system and checks whether the sequence of events the system generates satisfies a given specification. We describe the evolution of VeriMon: an expressive and efficient monitor that has been formally verified using the Isabelle proof assistant.

查看译文

关键词

monitoring,tool,verimon

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要