Collecting statistics over runtime executions

DOI10.1007/s10703-005-3399-3zbMath1083.68068OpenAlexW2103910858MaRDI QIDQ812051

Bernd Finkbeiner, Henny B. Sipma, Sriram Sankaranarayanan

Publication date: 23 January 2006

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

Full work available at URL: https://doi.org/10.1007/s10703-005-3399-3

zbMATH Keywords

specification languagestemporal logicruntime verificationruntime monitoringprogram profiling

Mathematics Subject Classification ID

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

Related Items

Foundations of Boolean stream runtime verification, Monitoring of temporal first-order properties with aggregations, From LTL to rLTL monitoring: improved monitorability through robust semantics, Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL

Uses Software

• Gprof

Cites Work

• Temporal Verification of Reactive Systems: Response
• Alternation
• Min-max Computation Tree Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item