LOLA
From MaRDI portal
Software:5973440
No author found.
Related Items (14)
Foundations of Boolean stream runtime verification ⋮ A brief account of runtime verification ⋮ Synthesising correct concurrent runtime monitors ⋮ Monitoring of temporal first-order properties with aggregations ⋮ Safer asynchronous runtime monitoring using compensations ⋮ First-order temporal logic monitoring with BDDs ⋮ Multi-head Monitoring of Metric Temporal Logic ⋮ ModelPlex: verified runtime validation of verified cyber-physical system models ⋮ Almost event-rate independent monitoring ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Monitoring Metric First-Order Temporal Properties ⋮ Property-Based Testing for Spark Streaming ⋮ A Theory of Monitors ⋮ A theory of monitors
This page was built for software: LOLA
