关键词
基于抽象解释的航空并发软件形式化验证方法研究
作者: 姜庆宇   来源: 华东师范大学 年份: 2018 文献类型 : 学位论文 关键词: 形式化验证   并发程序   约束   流敏感   抽象解释  
描述: 基于抽象解释的航空并发软件形式化验证方法研究
< 1
Rss订阅