基于抽象解释的航空并发软件形式化验证方法研究
日期:2018.12.30 点击数:0
【类型】学位论文
【作者】姜庆宇
【关键词】 形式化验证,并发程序,约束,流敏感,抽象解释
【摘要】基于抽象解释的航空并发软件形式化验证方法研究
【学位名称】硕士
【学位授予单位】华东师范大学
【学位授予年度】2018
【导师姓名】刘静
【读秀链接】读秀链接
相关文章
- 1、基于模型预测的弹性飞机阵风减缓技术研究 作者:刘岳锋,李雅,段卓毅, 年份:暂无
- 2、航空发动机轮盘参数化结构优化 作者:罗莉,黄大永,陈亚龙,王克菲,李杰, 年份:暂无
- 3、航空发动机轮盘参数化结构优化 作者:罗莉,黄大永,陈亚龙,王克菲,李杰, 年份:暂无
- 4、航空发动机轮盘参数化结构优化 作者:罗莉,黄大永,陈亚龙,王克菲,李杰, 年份:暂无