Theoretical Foundations for Runtime Monitoring
Aceto
Luca
Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel