快速阅读: 《国际军事周刊》消息，这些工具已部分应用于国防部计划，国防高级研究计划局正在推进多个项目以进一步改进形式化验证方法。尽管问题尚未完全解决导致项目采用推迟，但该局现在认为这些技术有更广泛的应用潜力，既可用于保护现有国防部软件，也可 […]
