.png){kind=icon}
返回
Monitoring Hypernode Logic Over Infinite Domains
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-05435-7_23.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
我们提出了一种针对无限域观测范围的超属性的监控方法。规范以符号超节点逻辑的公式给出，该逻辑是早期超节点逻辑的扩展版本，支持带数据的事件。我们展示了如何将符号超节点逻辑的项翻译为多带符号转换器，并基于此翻译提出了一个用于全称量化公式的监控算法。我们将我们的方法与之前的超节点逻辑监控方法进行了比较，并将其与其他超属性监控器进行了比较。
Keyword:
symbolic automata
symbolic transducers
hyperproperties
runtime verification
monitoring
k-safety
期刊
R
IF:
0
论文数:
27
被引数:
0
机构
.png){kind=icon}
查看更多内容