Scalable Online First-Order Monitoring

Joshua Schneider 0001, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel. Scalable Online First-Order Monitoring. In Christian Colombo, Martin Leucker, editors, Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. Volume 11237 of Lecture Notes in Computer Science, pages 353-371, Springer, 2018. [doi]

Abstract

Abstract is missing.