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 - 的工作，该工具结合了显式状态模型检查、统计模型检查和符号状态模型检查算法。