An Algebraic Framework for Runtime Verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, pp. 2233-2243, 2018.
Runtime verification (RV) is a pragmatic and scalable, yet rigorous technique, to assess the correctness of complex systems, including cyber-physical systems (CPSs). Modern RV tools also allow to measure the distance of a CPS behavior from a given formal requirement, thus, to quantify the robustness of a CPS with respect to perturbations ...更多