Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

Rust基金会宣布成立安全关键型Rust联盟

2024-06-12

Rust基金会联合AdaCore、Arm等公司宣布成立安全关键型Rust联盟，致力于支持Rust编程语言在安全关键型软件中的负责任使用。该联盟将制定指南、规范和工具，以满足行业和法律要求，并与Rust项目团队紧密合作。联盟成员包括行业、学术界和法律专家，其目标是弥合Rust生态系统在安全关键型领域资源方面的差距，并促进Rust在需要高安全性和可靠性的行业中的应用。

(foundation.rust-lang.org)
68
未分类 安全关键型软件