安全关键系统中 Rust 认证的深度工程实践：从 ISO 26262 ASIL-D 到 DO-178C DAL-A Rust如何进入安全关键系统领域：Ferrocene编译器认证、Rust-C FFI安全边界设计、Kani/Verus形式化验证实战、ISO 26262/DO-178C认证工程实践全解析 编程语言 2026年10月03日 0 点赞 0 评论 109 浏览
