📄️ GenMC 使用指南GenMC (Generic Model Checking) 是一个用于 C 程序的无状态模型检查器，工作在 LLVM 中间表示（LLVM-IR）层面。它可以验证使用 C11 原子操作和 pthread 库的并发程序的安全性属性。📄️ C++ 函数返回值使用指南本文档介绍 C++ 函数返回值的正确使用方法，帮助开发者避免常见的编程错误。
📄️ GenMC 使用指南GenMC (Generic Model Checking) 是一个用于 C 程序的无状态模型检查器，工作在 LLVM 中间表示（LLVM-IR）层面。它可以验证使用 C11 原子操作和 pthread 库的并发程序的安全性属性。