An Algebraic Framework for Runtime Verification

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, pp. 2233-2243, 2018.

被引用4|引用|浏览11|来源
EI WOS
关键词
MonitoringSemanticsRobustnessRuntimeMeasurement更多(2+)

摘要

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 ...更多

代码

数据

您的评分 :
0

 

标签
评论