Runtime Verification of Temporal Properties over Out-of-order Data Streams

David Basin, Felix Klaedtke, Eugen Zălinescu

We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messa…