Four-valued monitorability of $\omega$-regular languages

Zhe Chen, Yunyun Chen, Robert M. Hierons +1

Runtime Verification (RV) is a lightweight formal technique in which program or system execution is monitored and analyzed, to check whether certain properties are satisfied or vio…