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

Published in: ICTAC (2022)

Keyphrases