点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 模型检测
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
模型检测相关的理论与方法
关于模型检测的权威论文,介绍了模型检测的涵盖的内容!
所属分类:
专业指导
发布日期:2009-09-30
文件大小:589824
提供者:
willow2001
模型检测理论、方法与应用.pdf
模型检测理论,原理,研究现状,存在的问题及发展方向概述
所属分类:
专业指导
发布日期:2009-10-13
文件大小:368640
提供者:
tanjian131
利用混合高斯模型检测物体运动
利用混合高斯模型检测到目标,并对运动目标的运动加以分析。文件齐全,欢迎下载
所属分类:
其它
发布日期:2010-01-25
文件大小:7340032
提供者:
bob223946
模型检测工具Mocha
模型检测工具Mocha用于检测协议安全属性等。。。运行环境linux
所属分类:
Linux
发布日期:2010-08-06
文件大小:2097152
提供者:
welision
基于模型检测技术的软件漏洞挖掘方法研究
基于模型检测技术的软件漏洞挖掘方法研究 基于模型检测技术的软件漏洞挖掘方法研究
所属分类:
专业指导
发布日期:2010-12-21
文件大小:2097152
提供者:
youmao
程序重构预处理在提高软件模型检测效率中的应用
针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率.程序重构将大型程序分解成语义一致的小型过程的集合,由于模型检测算法中过程总结边可单独计算,而且在程序中对某过程的调用可能有多次,这种预处理可以避免状态空间的重复搜索,从而降低模型检测算法在空间和时间上的开销.根据表达程序性质的线性时序逻辑LTL公式的构成,给出了程序重构预处理前后程序语义相等的充分条件;并给定程序和性质公式,用blast作为程序模型检测实验工具,比较程序重构预处理前
所属分类:
咨询
发布日期:2011-03-29
文件大小:359424
提供者:
iwsdiwsd
符号化模型检测CTL
符号化的模型检测CTL*, 作者苏开乐 关键词 模型检测;时态逻辑; 有序二值判定图 (OBDD )
所属分类:
其它
发布日期:2011-05-06
文件大小:605184
提供者:
Violet2011
模型检测的原理,方法,应用
模型检测原理模型检测原理模型检测原理模型检测原理模型检测原理模型检测原理模型检测原理模型检测原理
所属分类:
专业指导
发布日期:2011-06-15
文件大小:472064
提供者:
xidian208
模型检测Nusmv最新版本
用于符号模型检测,可实现多种断言语言描述的系统规范的验证,很好的软件属性形式化验证工具。
所属分类:
教育
发布日期:2013-06-06
文件大小:3145728
提供者:
smartzhai
模型检测 Model Checking
模型检测 Model Checking
所属分类:
专业指导
发布日期:2013-10-05
文件大小:10485760
提供者:
vincent_2006_105240
SMV 模型检测
SMV 模型检测工具使用方法 使用cygwin在win32平台下模拟Unix,;1.从NuSMVhomepage下载压缩包NuS;2.参照F:\NuSMV-2.5.4\nusmv;3.下载minisat软件包至F:\NuSMV-;4.下载zchaff软件包至F:\NuSMV-2;5.在cygwin的bash中依次键入:;cdF:/NuSMV-2.5.4/cudd-2.;make(回车);
所属分类:
其它
发布日期:2014-04-16
文件大小:34816
提供者:
u014740439
基于LTL和PETRI 网的模型检测方法
一种有效的基于LTL和PETRI网的模型检测方法
所属分类:
软件测试
发布日期:2014-08-09
文件大小:575488
提供者:
lyqing405
模型检测工具spin
好用的模型检测工具spin,功能很强大。
所属分类:
系统安全
发布日期:2014-10-18
文件大小:7340032
提供者:
lyqing405
模型检测Spin
模型检测Spin工具,里面主主页有安装步骤
所属分类:
其它
发布日期:2014-12-09
文件大小:343040
提供者:
qq1509334304
模型检测 形式化分析 安全协议 相关论文
模型检测 形式化分析 安全协议相关论文,小弟最近在研究这个,与同行共享~
所属分类:
专业指导
发布日期:2008-10-28
文件大小:27262976
提供者:
wirror800
模型检测必备资料供大家交流
模型检测必备资料是研究模型检测的好资料,是我在研究过程中收集的资料供大家使用!
所属分类:
专业指导
发布日期:2008-11-12
文件大小:15728640
提供者:
Hope2005
BLAST pdf 模型检测软件BLAST手册
模型检测软件BLAST pdf文件BLAST pdf 模型检测软件BLAST手册
所属分类:
其它
发布日期:2008-11-24
文件大小:179200
提供者:
jimgreat
模型检测软件MAGIC
模型检测软件MAGIC模型检测软件MAGIC模型检测软件MAGIC模型检测软件MAGIC
所属分类:
其它
发布日期:2008-11-24
文件大小:393216
提供者:
jimgreat
模型检测技术简介
模型检测简介
所属分类:
系统安全
发布日期:2017-05-05
文件大小:1024000
提供者:
u011595478
模型检测理论、方法与应用
模型检测:理论方法与应用。模型检测的经典论文,作者:林慧民、张文辉
所属分类:
其它
发布日期:2018-01-16
文件大小:188416
提供者:
u012440095
«
1
2
3
4
5
6
7
8
9
10
...
50
»