图 书 馆
模型检验与维数灾难Model Checking and the Curse of Dimensionality |
|
| 课程网址: | http://videolectures.net/turing100_clarke_model_checking/ |
| 主讲教师: | Edmund M. Clarke |
| 开课单位: | 卡内基梅隆大学 |
| 开课时间: | 2012-07-10 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | Model Checking is an automatic verification technique for large state transition systems. It was originally developed for reasoning about finite-state concurrent systems. The technique has been used successfully to debug complex computer hardware and communication protocols. Now, it is beginning to be used for software verification as well. The major disadvantage of the technique is a phenomenon called the State Explosion Problem. This problem is impossible to avoid in worst case. However, by using sophisticated data structures and clever search algorithms, it is now possible to verify state transition systems with astronomical numbers of states. |
| 关 键 词: | 模型检查; 转换系统; 状态爆炸 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-09-27：cwx |
| 阅读次数: | 51 |