A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic.

David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel

Browse the full CADE paper archive.