MonPoly
From MaRDI portal
swMATH39233MaRDI QIDQ54933FDOQ54933
Author name not available (Why is that?)
Official website: https://sourceforge.net/projects/monpoly/
Source code repository: https://bitbucket.org/monpoly/monpoly/src/master/
Cited In (34)
- PTGTSs
- VeriMon
- Monitoring of temporal first-order properties with aggregations
- LOLA
- 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
- FoCs
- Augur 2
- PCRE
- Synthia
- DReX
- SOLOIST
- SCIFF
- HLIO
- timed-pattern-matching
- contractLarva
- BigDatalog
- MONAA
- Montre
- VeriPhy
- Copilot
- Naiad
- SociaLite
- BluSTL
- MurmurHash
- A formally verified, optimized monitor for metric first-order dynamic logic
- aerial
- TeSSLa
- Multi-head monitoring of metric temporal logic
- Adaptive online first-order monitoring
- DejaVu
- Scalable offline monitoring of temporal specifications
This page was built for software: MonPoly
