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
• 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
• Multi-head monitoring of metric temporal logic
• Adaptive online first-order monitoring
• Scalable offline monitoring of temporal specifications

This page was built for software: MonPoly