Collecting statistics over runtime executions

DOI10.1007/S10703-005-3399-3MaRDI QIDQ812051zbMATH OpenOpenAlexFDO

Authors Bernd Finkbeiner, Sriram Sankaranarayanan, Henny B. Sipma

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

runtime verificationtemporal logicspecification languagesruntime monitoringprogram profiling

Mathematics Subject Classification ID

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

Recommendations

• Checking finite traces using alternating automata
• Temporal specifications with accumulative values
• Monitoring parametric temporal logic
• Algebraic quantitative semantics for efficient online temporal monitoring
• Runtime monitoring of metric first-order temporal properties

Cites work

• scientific article; zbMATH DE number 1670563 (Why is no real title available?)
• scientific article; zbMATH DE number 1670567 (Why is no real title available?)
• scientific article; zbMATH DE number 1670842 (Why is no real title available?)
• scientific article; zbMATH DE number 177509 (Why is no real title available?)
• scientific article; zbMATH DE number 1951203 (Why is no real title available?)
• scientific article; zbMATH DE number 868107 (Why is no real title available?)
• scientific article; zbMATH DE number 1405643 (Why is no real title available?)
• Alternation
• Min-max Computation Tree Logic
• Temporal verification of reactive systems: response

Cited in

(6)

• Monitoring of temporal first-order properties with aggregations
• Checking finite traces using alternating automata
• Foundations of Boolean stream runtime verification
• Trace-length independent runtime monitoring of quantitative policies in LTL
• From LTL to rLTL monitoring: improved monitorability through robust semantics
• Monitoring algorithmic fairness

Describes a project that uses

Uses Software

• Gprof

This page was built for publication: Collecting statistics over runtime executions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q812051)