美国DARPA加速推动形式化方法重构美军网络防线

2025年6月17日，美国国防高级研究计划局（DARPA）启动"迷你顶点计划"，旨在通过数学驱动的形式化方法重 […]