Formally verified software in the real world.Gerwin Klein,June Andronick,Matthew Fernandez,Ihor Kuz,Toby C. Murray,Gernot HeiserCommunications of the ACM（2018）引用 56|浏览195暂无评分摘要Verified software secures the Unmanned Little Bird autonomous helicopter against mid-flight cyber attacks. 更多查看译文AI 理解论文溯源树样例生成溯源树，研究论文发展脉络Chat Paper正在生成论文摘要
