Runtime Verification For Timed Event Streams With Partial Information

Martin Leucker, César Sánchez, Torben Scheffel +2

Runtime Verification (RV) studies how to analyze execution traces of a system under observation. Stream Runtime Verification (SRV) applies stream transformations to obtain informat…