Collaborative Runtime Verification with Tracematches

DOI10.1093/LOGCOM/EXN077zbMath1213.68365OpenAlexW2034691511WikidataQ105102962 ScholiaQ105102962MaRDI QIDQ3569199

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

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)

Related Items (3)

Sound concurrent traces for online monitoring ⋮ Optimized temporal monitors for SystemcC ⋮ Time-triggered runtime verification

This page was built for publication: Collaborative Runtime Verification with Tracematches