for Collaborative Runtime Verification
This paper proposes a model for collaborative runtime verification where a network of local monitors collaborates in order to verify properties of the system.
B. Testerink, N. Bulling, M. Dastani
· 1 citation