没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
spin model checking
spin model checking
model
checking
需积分: 10
9 下载量
183 浏览量
2009-12-14
22:16:11
上传
评论
收藏
3.4MB
PDF
举报
温馨提示
立即下载
Principles of the Spin Model
资源推荐
资源评论
spin model checker
浏览:82
model checker
spin a model checker
浏览:190
Spin is a popular open-source software tool, used by thousands of people worldwide, that can be used for the formal verification of distributed software systems. The tool was developed at Bell Labs in
The Spin Model Checker
浏览:200
5星 · 资源好评率100%
The Spin Model Checker - Primer and Reference Manual - Addison Wesley.chm
模型检测 Model Checking
浏览:39
5星 · 资源好评率100%
模型检测 Model Checking
Spin Model Checker, The Primer and Reference Manual
浏览:129
5星 · 资源好评率100%
英文原版SPIN入门参考手册,模型检测工具SPIN的入门之选
最新spin.js包下载
浏览:167
4星 · 用户满意度95%
最新spin.js包下载,炫丽的菊花进度条!
The Spin Model Checker_Primer and Reference Manual (PDF格式)
浏览:11
5星 · 资源好评率100%
The Spin Model Checker_Primer and Reference Manual (PDF格式)
model checking
浏览:67
模型检测ppt, 理论,工具和其它相关介绍,
model checking software
浏览:9
5星 · 资源好评率100%
model checking software
spin论文集合
浏览:5
spin model checking thesis set,用于开发安全关键的信息系统。可用于检测并发系统的死锁。
From NuSMV to SPIN Experiences with model checking.pdf
浏览:156
From NuSMV to SPIN Experiences with model checking
SPIN经典论文集-第11届SPIN workshop论文集
浏览:90
Model Checking Genetic Regulatory Networks Using GNA and CADP Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu 158 Abstraction and Symbolic Methods Verification of Java ...
Model Checking Programs
浏览:182
以SPIN为例介绍模型检验的程序验证方法
principles of the spin model checker
浏览:22
介绍模型检查工具spin的基本概念以及相应机制
Priciples of model checking
浏览:99
about model checking
principles_of_model_checking
浏览:109
principles_of_model_checking一本很好的模型检测的书,我很仔细的看了。希望对大家有帮助!
LTL – model checking
浏览:80
model checking 的ppt,应该有帮助的
Bayes-model-checking
浏览:94
Bayes-model-checking
liveness and safetiy properties
浏览:90
formal method, model checking tool, SPIN. and analisis of the properties that can be checked by SPIN. 模型检测工具SPIN,及其验证的属性分析。
MIT 关于模型检测的课件 主要讲的是llt 和其他的一些逻辑 还有spin
浏览:157
5星 · 资源好评率100%
MIT 关于模型检测的课件 主要讲的是llt 和其他的一些逻辑 还有spin 都是一些入门的东西 高手不需要
关于自动稳定人口协议的验证
浏览:19
人口协议模型已经成为描述移动自组织网络的一种优雅... 在本文中,我们旨在在Spin模型检查器中自动验证用于领导者选举和令牌流通的自我稳定种群协议。 我们报告我们的验证结果,并讨论在Spin中建模强公平性约束的问题。
微软内部资料-SQL性能优化3
浏览:90
4星 · 用户满意度95%
Consistency and isolation are the most important in describing SQL Server’s locking model. It is up to the application to define what consistency means, and isolation in some form is needed to ...
manual for Probabilistic model checking prism
浏览:49
manual for Probabilistic model checking prism 很好的入门书哦
Concepts, Algorithms, and Tools for model checking
浏览:183
这是一本关于模型检测的书籍,适合于初学者。
Competent predicate abstraction in model checking
浏览:162
The paper presents a new approach to computing the abstract state and a maximum weight heuristic<BR>method for finding the shortest counter-example in verification of imperative programs. The strategy
model-checking.zip_软件设计/软件工程_Windows_Unix_
浏览:33
a set of model checking tutorial
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
fengyantsing
粉丝: 1
资源:
5
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
Screenshot_2024-04-30-21-47-24-26.jpg
Cpp1.cpp1111111111
带posix库的mingw编译器
在 Apple Silicon Mac 上入门汇编语言.zip
jsp驾校管理系统Myeclipse开发mysql数据库web结构java编程计算机网页项目源码
嗨淘V12刷任务点赞系统源码+手动派单版本.rar
关于蓝桥杯c++的一些相关资源
关于蓝桥杯python的一些相关资源
基于YOLOv8的多端车流检测系统用于毕设+开源
关于蓝桥杯的一些相关资源
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功