当前位置:
X-MOL 学术
›
arXiv.cs.PL
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Automatic Verification of LLVM Code
arXiv - CS - Programming Languages Pub Date : 2020-06-04 , DOI: arxiv-2006.02670 Axel Legay, Dirk Nowotka, Danny B{\o}gsted Poulsen
arXiv - CS - Programming Languages Pub Date : 2020-06-04 , DOI: arxiv-2006.02670 Axel Legay, Dirk Nowotka, Danny B{\o}gsted Poulsen
In this work we present our work in developing a software verification tool
for llvm-code - Lodin - that incorporates both explicit-state model checking,
statistical model checking and symbolic state model checking algorithms.
中文翻译:
LLVM 代码的自动验证
在这项工作中,我们展示了我们为 llvm-code 开发软件验证工具 - Lodin - 的工作,该工具结合了显式状态模型检查、统计模型检查和符号状态模型检查算法。
更新日期:2020-06-05
中文翻译:
LLVM 代码的自动验证
在这项工作中,我们展示了我们为 llvm-code 开发软件验证工具 - Lodin - 的工作,该工具结合了显式状态模型检查、统计模型检查和符号状态模型检查算法。