Runtime Verification over Out-of-order Streams

David Basin, Felix Klaedtke, Eugen Zalinescu

We present an approach for verifying systems at runtime. Our approach targets distributed systems whose components communicate with monitors over unreliable channels, where message…