明修关键词检索结果

美国国防高级计划局
2023年3月27日 04:00

2023/03/27 向我们展示证明：形式化方法可以大规模应用

2023/03/27 Show Us the Proof: Formal Methods Can Be Applied at Large Scale

DARPA 的支持鲁棒系统的验证程序的流水线推理 (PROVERS) 计划将开发形式化方法工具，以指导软件工程师设计证明友好的软件系统并减少证明修复工作量。