源码之巅峰
全部资源
全部资源
C/C++
C#
PHP
Java
Python
VB
ASP
Html/CSS
Matlab
JavaScript
数据库
模板
其他
上传
VIP购买
登录
注册账号
C#
C/C++
PHP
Java
Python
VB
ASP
Html/CSS
Matlab
JavaScript
数据库
模板
AI
其他
当前位置:> 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条
热门下载
Handbook of Model Checking 无水印原版pdf
NuSMV-2.6.0-win64.tar.gz
model checking.pdf英文版Edmund M. Clarke著作
The Spin Model Checker_Primer and Reference Ma
Model Checking 模型检查 Edmund M. Clarke 经