注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 模型检测相关的理论与方法

  2. 关于模型检测的权威论文,介绍了模型检测的涵盖的内容！

  3. 所属分类：专业指导

    • 发布日期：2009-09-30
    • 文件大小：589824
    • 提供者：willow2001

  1. 模型检测理论、方法与应用.pdf

  2. 模型检测理论,原理，研究现状，存在的问题及发展方向概述

  3. 所属分类：专业指导

    • 发布日期：2009-10-13
    • 文件大小：368640
    • 提供者：tanjian131

  1. 利用混合高斯模型检测物体运动

  2. 利用混合高斯模型检测到目标，并对运动目标的运动加以分析。文件齐全，欢迎下载

  3. 所属分类：其它

    • 发布日期：2010-01-25
    • 文件大小：7340032
    • 提供者：bob223946

  1. 模型检测工具Mocha

  2. 模型检测工具Mocha用于检测协议安全属性等。。。运行环境linux

  3. 所属分类：Linux

    • 发布日期：2010-08-06
    • 文件大小：2097152
    • 提供者：welision

  1. 基于模型检测技术的软件漏洞挖掘方法研究

  2. 基于模型检测技术的软件漏洞挖掘方法研究 基于模型检测技术的软件漏洞挖掘方法研究

  3. 所属分类：专业指导

    • 发布日期：2010-12-21
    • 文件大小：2097152
    • 提供者：youmao

  1. 程序重构预处理在提高软件模型检测效率中的应用

  2. 针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率.程序重构将大型程序分解成语义一致的小型过程的集合,由于模型检测算法中过程总结边可单独计算,而且在程序中对某过程的调用可能有多次,这种预处理可以避免状态空间的重复搜索,从而降低模型检测算法在空间和时间上的开销.根据表达程序性质的线性时序逻辑LTL公式的构成,给出了程序重构预处理前后程序语义相等的充分条件;并给定程序和性质公式,用blast作为程序模型检测实验工具,比较程序重构预处理前

  3. 所属分类：咨询

    • 发布日期：2011-03-29
    • 文件大小：359424
    • 提供者：iwsdiwsd

  1. 符号化模型检测CTL

  2. 符号化的模型检测CTL*, 作者苏开乐 关键词 模型检测；时态逻辑； 有序二值判定图 （OBDD ）

  3. 所属分类：其它

    • 发布日期：2011-05-06
    • 文件大小：605184
    • 提供者：Violet2011

  1. 模型检测的原理，方法，应用

  2. 模型检测原理模型检测原理模型检测原理模型检测原理模型检测原理模型检测原理模型检测原理模型检测原理

  3. 所属分类：专业指导

    • 发布日期：2011-06-15
    • 文件大小：472064
    • 提供者：xidian208

  1. 模型检测Nusmv最新版本

  2. 用于符号模型检测，可实现多种断言语言描述的系统规范的验证，很好的软件属性形式化验证工具。

  3. 所属分类：教育

    • 发布日期：2013-06-06
    • 文件大小：3145728
    • 提供者：smartzhai

  1. 模型检测 Model Checking

  2. 模型检测 Model Checking

  3. 所属分类：专业指导

  1. SMV 模型检测

  2. 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(回车)；

  3. 所属分类：其它

    • 发布日期：2014-04-16
    • 文件大小：34816
    • 提供者：u014740439

  1. 基于LTL和PETRI 网的模型检测方法

  2. 一种有效的基于LTL和PETRI网的模型检测方法

  3. 所属分类：软件测试

    • 发布日期：2014-08-09
    • 文件大小：575488
    • 提供者：lyqing405

  1. 模型检测工具spin

  2. 好用的模型检测工具spin，功能很强大。

  3. 所属分类：系统安全

    • 发布日期：2014-10-18
    • 文件大小：7340032
    • 提供者：lyqing405

  1. 模型检测Spin

  2. 模型检测Spin工具，里面主主页有安装步骤

  3. 所属分类：其它

    • 发布日期：2014-12-09
    • 文件大小：343040
    • 提供者：qq1509334304

  1. 模型检测 形式化分析 安全协议 相关论文

  2. 模型检测 形式化分析 安全协议相关论文，小弟最近在研究这个，与同行共享~

  3. 所属分类：专业指导

    • 发布日期：2008-10-28
    • 文件大小：27262976
    • 提供者：wirror800

  1. 模型检测必备资料供大家交流

  2. 模型检测必备资料是研究模型检测的好资料，是我在研究过程中收集的资料供大家使用！

  3. 所属分类：专业指导

    • 发布日期：2008-11-12
    • 文件大小：15728640
    • 提供者：Hope2005

  1. BLAST pdf 模型检测软件BLAST手册

  2. 模型检测软件BLAST pdf文件BLAST pdf 模型检测软件BLAST手册

  3. 所属分类：其它

    • 发布日期：2008-11-24
    • 文件大小：179200
    • 提供者：jimgreat

  1. 模型检测软件MAGIC

  2. 模型检测软件MAGIC模型检测软件MAGIC模型检测软件MAGIC模型检测软件MAGIC

  3. 所属分类：其它

    • 发布日期：2008-11-24
    • 文件大小：393216
    • 提供者：jimgreat

  1. 模型检测技术简介

  2. 模型检测简介

  3. 所属分类：系统安全

    • 发布日期：2017-05-05
    • 文件大小：1024000
    • 提供者：u011595478

  1. 模型检测理论、方法与应用

  2. 模型检测：理论方法与应用。模型检测的经典论文，作者：林慧民、张文辉

  3. 所属分类：其它

    • 发布日期：2018-01-16
    • 文件大小：188416
    • 提供者：u012440095
« 12 3 4 5 6 7 8 9 10 ... 50 »