A Model for Collaborative Runtime Verification

Abstract

Runtime verification concerns checking whether a system execution satisfies a given property. In this paper we propose a model for collaborative runtime verification where a network of local monitors collaborates in order to verify properties of the system. A local monitor has only a local view on the execution of the system; thus, it can verify a specific… (More)

Topics

Cite this paper

@inproceedings{Testerink2015AMF, title={A Model for Collaborative Runtime Verification}, author={Bas Testerink and Nils Bulling and Mehdi Dastani}, booktitle={AAMAS}, year={2015} }