模型检验原理
正版图书保证 可开电子发票
￥ 63.6 4.0折 ￥ 158 全新
库存14件
湖北武汉
认证卖家担保交易快速发货售后保障
作者(德) 克里斯特尔·拜耳, 乔斯特-皮尔特·卡托恩著
出版社清华大学出版社
ISBN9787302577355
出版时间2021-11
装帧平装
开本其他
定价158元
货号3906972
上书时间2024-05-21
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
赵光峰，男，1964年生，教授，博士，曾留学英国一年，主要研究方向为拓扑学、图论、系统可信性自动验证，发表学术论文30余篇，主编《Visual Basic 程序设计教程》（高等教育出版社）等教材5部。
目录
本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法, 同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径。
内容摘要
模型检验是一种对软件和硬件系统的可靠性进行自动验证的形式化技术。使用这种技术，可以自动验证和排除正在开发的系统投入使用后是否存在影响系统安全运行的微小瑕疵。本书全面、系统、详细地介绍了模型检验的逻辑和理论基础、原理、验证工具的使用方法以及软件和硬件系统的建模与验证方法，主要内容包括系统验证、并发系统的建模、线性时间性质、正则性质、线性时序逻辑、计算树逻辑、等价和抽象、偏序约简、时控自动机和概率系统等10章。本书可作为计算机科学与技术、软件工程、电子信息科学与技术及相关专业本科生、研究生的教材，也可作为模型检验领域研究人员及关注系统可靠性的设计与开发人员的参考书。
主编推荐
"1．内容全面，条理系统。
2．实例丰富，便于理解。
3．理论充实，实践性强
4．文献翔实，脉络清晰。
5．习题充足，利于掌握。
6．附录凝练，入门快速。"
— 没有更多了 —
以下为对购买帮助不大的评价