MonPoly

swMATH39233MaRDI QIDQ54933FDOQ54933

Author name not available (Why is that?)

Source code repository: https://bitbucket.org/monpoly/monpoly/src/master/

Cited In (9)

• Monitoring of temporal first-order properties with aggregations
• Foundations of Boolean stream runtime verification
• Almost event-rate independent monitoring
• Multi-head Monitoring of Metric Temporal Logic
• Adaptive Online First-Order Monitoring
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Monitoring metric first-order temporal properties
• A formally verified, optimized monitor for metric first-order dynamic logic
• Scalable offline monitoring of temporal specifications

This page was built for software: MonPoly