Rust基金会宣布将ESBMC模型检查器接入Rust标准库，以增强形式化验证生态。ESBMC已整合进Verify Rust std工具链，提供额外的安全保障，团队还计划扩展对更多构造的支持，并探索C到Rust的自动翻译验证。