用电路监控超性质
Monitoring hyperproperties with circuits
摘要：
本文根据Hyper-LTL的思想，给出了Hennessy-Milner逻辑安全片段的一种扩展，它具有迹集上的递归性。然后，它介绍了一种新的监测设置，采用类似电路的结构，结合定期监测的判决。这项研究的主要贡献是监测和他们的语义本身，以及一个监测合成程序从公式的逻辑，产生“电路样监测”的这种类型的声音和违反完成了一个有限的一组无限的痕迹。
英文摘要：
This paper presents an extension of the safety fragment of Hennessy-Milner Logic with recursion over sets of traces, in the spirit of Hyper-LTL. It then introduces a novel monitoring setup that employs circuit-like structures to combine verdicts from regular monitors. The main contribution of this study is the monitors and their semantics themselves, as well as a monitor-synthesis procedure from formulae in the logic that yields `circuit-like monitors' of this type that are sound and violation complete over a finite set of infinite traces.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
