Scalable offline monitoring of temporal specifications

DOI10.1007/s10703-016-0242-yzbMath1380.68268OpenAlexW2296683979MaRDI QIDQ681469

Matúš Harvan, Sarah Ereth, Heiko Mantel, Germano Caronni, Felix Klaedtke, David A. Basin

Publication date: 12 February 2018

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-016-0242-y

zbMATH Keywords

verificationtemporal logicmonitoringMapReduce

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items

Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems, Formal analysis and offline monitoring of electronic exams, Runtime verification with minimal intrusion through parallelism, Adaptive Online First-Order Monitoring, Scalable offline monitoring of temporal specifications, A survey of challenges for runtime verification from advanced application domains (beyond software), Monitoring Metric First-Order Temporal Properties, A theory of monitors, Unnamed Item

Uses Software

• MapReduce
• MurmurHash
• MonPoly

Cites Work

• Unnamed Item
• Unnamed Item
• Scalable offline monitoring of temporal specifications
• Techniques and applications of computation slicing
• Monitoring Metric First-Order Temporal Properties
• Semantics and Algorithms for Parametric Monitoring
• A First-Order Policy Language for History-Based Transaction Monitoring
• Verification, Model Checking, and Abstract Interpretation