Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives

Davide Ancona, Angelo Ferrando, Viviana Mascardi

Abstract: In this paper we discuss how Logic Programming can be exploited for Runtime Verification, an activity where a monitor is in charge for checking whether an observed event is allowed in the current state. If this is the case, the monitor moves to the successive state, observes another event, and so on, until either a violation is detected, or the stream of events ends. If the system emitting events is expected to run forever, so does the monitor.