Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions

Hannes Kallwies, Martin Leucker, Cesar Sanchez

Runtime Verification deals with the question of whether a run of a system adheres to its specification. This paper studies runtime verification in the presence of partial knowledge…