If At First You Don't Succeed: Extended Monitorability through Multiple Executions

Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb

This paper studies the extent to which branching-time properties can be adequately verified using runtime monitors. We depart from the classical setup where monitoring is limited t…