据Meritalk网6月23日消息，美国国防高级研究计划局（DARPA）加速基于数学的代码检查计划，提高网络安全。据悉，美国国防高级研究计划局与美国军方展开了一项新的合作，希望通过基于数学的开发实践来提高国防软件系统的弹性和网络安全。即通过在国防软件中采用形式化方法，使用数学证明确保代码正确性，增强系统弹性和网络安全。该项目已由美国空军率先试点，并正在支持更广泛的过渡。