checking_讯易软件-源码之巅峰

源码之巅峰

当前位置：> TAG标签 > checking

Model Checking 模型检查 Edmund M. Clarke 经 0

编程语言：其他大小：金币：上传人：fuaoxing55 发布日期：2023-10-01

Clarke_E.M.,_Grumberg_O.,_Peled_D.A._Model_checking_(2000)(en)(314s).文件较小，非常清晰
The Spin Model Checker_Primer and Reference Ma 0

编程语言：其他大小：金币：上传人：haoyisheng 发布日期：2023-09-30

The Spin Model Checker_Primer and Reference Manual (PDF格式)
model checking.pdf英文版Edmund M. Clarke著作 0

编程语言：其他大小：金币：上传人：ligangyuer 发布日期：2023-09-28

model checking.pdf（英文版）,Edmund M. Clarke著作，模型检验入门书籍。有名的模型验证方面的专家。书中对model checking有很全面的介绍。
NuSMV-2.6.0-win64.tar.gz 0

编程语言：其他大小：金币：上传人：yuyunfu 发布日期：2023-09-23

形式化验证工具，NuSMV 2.6.0 is a major release that comes after four years passed working under the surface. The release provides some new features, many bug fixes and optimizations, and substantial differences in the software archit
Handbook of Model Checking 无水印原版pdf 0

编程语言：其他大小：金币：上传人：wjd2002xx 发布日期：2023-07-14

Handbook of Model Checking 英文无水印原版pdf pdf所有页面使用FoxitReader、PDF-XChangeViewer、SumatraPDF和Firefox测试都可以打开本资源转载自网络，如有侵权，请联系上传者或csdn删除查看此书详细信

5条

热门下载