Residual Runtime Verification via Reachability Analysis

被引：0

作者：

Soueidi, Chukri ^{[1
]}

Falcone, Yliès ^{[1
]}

机构：

[1] Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, Grenoble,38000, France

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2023年 / 13800 LNCS卷

关键词：

D O I：

14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022

中图分类号：

学科分类号：

摘要：

Computer software - Static analysis

引用

页码：148 / 166