Towards Partial Monitoring: It is Always too Soon to Give Up

Angelo Ferrando, Rafael C. Cardoso

Runtime Verification is a lightweight formal verification technique. It is used to verify at runtime whether the system under analysis behaves as expected. The expected behaviour i…