详细内容或原文请订阅后点击阅览
V-SPELLS：大型遗留软件的已验证安全性和性能增强
项目负责人：Sergey Bratus 博士 赞助组织：DARPA网站：https://www.darpa.mil/program/verified-security-and-performance-enhancement-of-large-legacy-software 项目概要：V-SPELLS 旨在通过逐步引入更优的软件验证来彻底扩大软件验证的采用范围
来源:美国国防部互动体验为了与国防部获取管道和新的操作概念以及不断变化的全球威胁保持同步，Dot＆E致力于革新测试和评估。 这项对国家安全至关重要的事业和维持战斗力的力量将需要改造T＆E基础架构，工具，方法和过程以及技能。 Dot＆E正在每个领域中寻求思想和切实的解决方案，并计划投放广泛的网络。 我们还在观看科学技术的发展，以了解将来可能需要测试的系统类型，以便将准备DOD T＆E生态系统。 以下是我们遵循的一些研究。