Decentralized Stream Runtime Verification for Timed Asynchronous Networks

Luis Miguel Danielsson, César Sánchez

We study the problem of monitoring distributed systems where computers communicate using message passing and share an almost synchronized clock. This is a realistic scenario for ne…