面向计算机并发程序的形式化验证方法设计 本文来源:摘 要:计算机并发性程序形式化验证一直是软件安全领域的难题。软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题。形式化验证基于严格的数学推导基础,采用语言、语义、推理证明三位一... 访客 2022-04-27 308 #形式化方法 #逻辑模型 #逻辑函数 #规范分析 #功能分析 #关系逻辑 #面向过程 #融资 #源码