Semantics and Algorithms for Parametric Monitoring

DOI10.2168/LMCS-8(1:9)2012zbMath1237.68065arXiv1112.5761OpenAlexW2096094142MaRDI QIDQ2881076

Feng Chen, Grigore Roşu

Publication date: 3 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1112.5761

zbMATH Keywords

monitoringruntime verificationtrace slicing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Unnamed Item, Selective monitoring, Adaptive Online First-Order Monitoring, Scalable offline monitoring of temporal specifications, Parametric runtime verification is NP-complete and coNP-complete, Monitoring Metric First-Order Temporal Properties

Uses Software

• AspectJ
• DaCapo
• Java-MOP
• Clara
• J-LO