A synthesis tool for optimal monitors in a branching-time setting

[PDF] episciences.org

[PDF][PDF] Bidirectional runtime enforcement of first-order branching-time properties

L Aceto, I Cassar, A Francalanza… - Logical Methods in …, 2023 - lmcs.episciences.org
Runtime enforcement is a dynamic analysis technique that instruments a monitor with a
system in order to ensure its correctness as specified by some property. This paper explores …
被引用次数：4 相关文章 所有 9 个版本
[PDF] um.edu.mt

On first-order runtime enforcement of branching-time properties

L Aceto, I Cassar, A Francalanza, A Ingólfsdóttir - Acta Informatica, 2023 - Springer
Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the
behaviour specified by some correctness property on an executing system. The …
被引用次数：1 相关文章 所有 4 个版本