初次不成功：通过多次执行实现扩展的可监测性
摘要：多次运行观察监视器的观察能力的研究：对于可以观察多次运行的系统的监视器的观察能力进行了研究。我们研究了增强的监视设置如何影响可以在运行时验证的属性类别，重点关注在模态mu-演算中表示的分支时态属性。我们的结果表明，该设置可以用于系统性地扩展先前建立的监视能力限制。我们还证明了界限，它们捕捉了分支时态属性的句法结构与进行验证所需的系统运行次数之间的对应关系。
作者：Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb
论文ID：2306.05229
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-09