Collaborative runtime verification with tracematches

DOI10.1093/LOGCOM/EXN077MaRDI QIDQ3569199zbMATH OpenOpenAlexWikidataFDO

Authors Eric Bodden, Laurie Hendren, Patrick P. Lam, Ondřej Lhoták, Nomair A. Naeem

Publication date 17 June 2010

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exn077

zbMATH Keywords

verificationrandomizationruntime monitoringaspect-oriented programmingwhole-program analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Runtime verification past experiences and future projections
• A brief account of runtime verification
• Time-triggered runtime verification
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Runtime verification logics. A language design perspective

Cited in

(4)

• Opportunistic monitoring of multithreaded programs
• Time-triggered runtime verification
• Optimized temporal monitors for SystemcC
• Sound concurrent traces for online monitoring

This page was built for publication: Collaborative runtime verification with tracematches

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