形式验证简介 - 计算机科学国家重点实验室.ppt
《形式验证简介 - 计算机科学国家重点实验室.ppt》由会员分享,可在线阅读,更多相关《形式验证简介 - 计算机科学国家重点实验室.ppt(10页珍藏版)》请在得力文库 - 分享文档赚钱的网站上搜索。
1、1,模型检测Model Checking,中国科学院软件研究所计算机科学国家重点实验室张文辉http:/ Schnoebelen. The Complexity of Temporal Logic Model Checking. Advances in Modal Logic 2002: 393-436.R. Jhala and R. Majumdar. Software Model Checking. ACM Computing Surveys 41(4), Article 21, 2009.-E. M. Clarke, O. Grumberg and D. A. Peled. Model
2、Checking. MIT Press, 1999.,6,参考文献,A. W. To and L. Libkin. Recurrent Reachability Analysis in Regular Model Checking. LPAR 2008: 198-213.S. La Torre, P. Madhusudan and G. Parlato. Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV 2010: 629-644.A. Cimatti, A. Micheli, I. Na
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 形式 情势 验证 简介 计算机科学 国家重点 实验室
限制150内