Verified First-Order Monitoring with Recursive Rules.

Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel

Browse the full TACAS paper archive.