Search
Results
-
Correct and Efficient Policy Monitoring, a Retrospective
(2023)Lecture Notes in Computer Science ~ Automated Technology for Verification and AnalysisThe MonPoly project started over a decade ago to build effective tools for monitoring trace properties, including functional correctness, security, and compliance policies. The original MonPoly tool supported monitoring specifications given in metric first-order temporal logic, an expressive specification language. It handled both the online case, where system events are monitored as they occur, and the offline case, monitoring logs. Our ...Conference Paper -
Metric First-Order Temporal Logic with Complex Data Types
(2023)Lecture Notes in Computer Science ~ Runtime VerificationTemporal logics are widely used in runtime verification as they enable the creation of declarative and compositional specifications. However, their ability to model complex data is limited. One must resort to complicated encoding schemes to express properties involving basic structures such as lists or trees. To avoid this drawback, we extend metric first-order temporal logic with a minimalistic, yet expressive, functional programming ...Conference Paper