DARPA 吹捧将网络灾难扼杀在萌芽状态的“正式方法”
快速阅读: 《国际军事周刊》消息,这些工具已部分应用于国防部计划,国防高级研究计划局正在推进多个项目以进一步改进形式化验证方法。尽管问题尚未完全解决导致项目采用推迟,但该局现在认为这些技术有更广泛的应用潜力,既可用于保护现有国防部软件,也可用于未来系统软件的设计。
这些工具已有限度地转移到国防部计划中,而国防高级研究计划局还有几个其他正在开展的努力,旨在进一步改进形式化验证方法。费舍尔指出,由于问题尚未完全解决,项目倾向于推迟采纳。但国防高级研究计划局现在看到了这些技术更广泛应用的潜力——既可用于保护现有安装在遗留平台上的国防部软件,也可用于设计未来的系统软件。
(以上内容均由Ai生成)