论文标题
自动验证LLVM代码
Automatic Verification of LLVM Code
论文作者
论文摘要
在这项工作中，我们介绍了为LLVM代码-Lodin开发软件验证工具的工作，该工具既包含了显式状态模型检查，统计模型检查和符号状态模型检查算法。
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.
