Collaborative runtime verification with tracematches

DOI10.1093/LOGCOM/EXN077zbMATH Open1213.68365OpenAlexW2034691511WikidataQ105102962 ScholiaQ105102962MaRDI QIDQ3569199FDOQ3569199

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

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

zbMATH Keywords

verificationrandomizationruntime monitoringaspect-oriented programmingwhole-program analysis

Mathematics Subject Classification ID

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

Cited In (4)

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

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)