A Topological Framework for Finite Behavioural Observations and Verification

Antonis Achilleos, Vasiliki Kyriakou

Formal verification and monitorability are based on finite observations, which allow properties to be verified from finite information about system behaviour. We study such observa…