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

搜索资源列表

  1. cygwin,spin,xspin安装全过程记录

  2. 毕业设计做的并发模型检测~ 写了两个小时，做点好事,希望能有点用

  3. 所属分类：其它

    • 发布日期：2009-05-31
    • 文件大小：185344
    • 提供者：wanby

  1. liveness and safetiy properties

  2. formal method, model checking tool, SPIN. and analisis of the properties that can be checked by SPIN. 模型检测工具SPIN，及其验证的属性分析。

  3. 所属分类：其它

    • 发布日期：2009-07-26
    • 文件大小：76800
    • 提供者：jeke130

  1. 并发系统的Promela语言建模与SPIN模型检测

  2. 并发系统的Promela语言建模与SPIN模型检测

  3. 所属分类：专业指导

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

  1. MIT 关于模型检测的课件 主要讲的是llt 和其他的一些逻辑 还有spin

  2. MIT 关于模型检测的课件 主要讲的是llt 和其他的一些逻辑 还有spin 都是一些入门的东西 高手不需要

  3. 所属分类：专业指导

    • 发布日期：2010-12-23
    • 文件大小：1048576
    • 提供者：haheiwuwo

  1. 安全协议AndrewRPC的SPIN模型检测

  2. 本文运用模型检测技术，以Dolev-Yao模型为基础，提出了使用Promela语言和模型检测工具SPIN对Andrew RPC 协议进行建模和分析的方法，发现了该协议存在重放攻击漏洞，该方法具有一定通用性和很好的参考价值。

  3. 所属分类：网络安全

    • 发布日期：2012-03-09
    • 文件大小：1048576
    • 提供者：jiseven1208

  1. Introduction to SPIN & Promela

  2. 一个关于SPIN和Promela的简要介绍

  3. 所属分类：网络安全

    • 发布日期：2012-05-07
    • 文件大小：1048576
    • 提供者：nhebek

  1. Principles of the Spin Model Checker.pdf

  2. Spin模型检测方法，英文版。Principles+of+the+Spin+Model+Checker。

  3. 所属分类：软件测试

    • 发布日期：2012-07-14
    • 文件大小：3145728
    • 提供者：drizzlynight

  1. XSPIN-SPIN的图形界面工具

  2. XSPIN是用java编写的spin的图形界面，大家应该在期刊论文上经常看到这个工具吧。让检测结果以图形的形式出现，大大增强的spin的易用性。有它产生的图，论文会翔实很多。要装jdk，要在cygwin下使用。

  3. 所属分类：系统安全

    • 发布日期：2012-10-20
    • 文件大小：189440
    • 提供者：william_falcon

  1. Spin工具应用

  2. Spin工具应用，一种基于spin的自动柜员机的模型检测

  3. 所属分类：数据库

    • 发布日期：2013-07-20
    • 文件大小：724992
    • 提供者：u011176175

  1. Spin Model Checker, The Primer and Reference Manual

  2. 英文原版SPIN入门参考手册，模型检测工具SPIN的入门之选

  3. 所属分类：软件测试

    • 发布日期：2013-10-16
    • 文件大小：3145728
    • 提供者：goodone80

  1. 模型检测工具spin

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

  3. 所属分类：系统安全

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

  1. 模型检测Spin

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

  3. 所属分类：其它

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

  1. spin516.tar.gz

  2. 模型检测工具spin for linux

  3. 所属分类：Linux

    • 发布日期：2008-11-08
    • 文件大小：401408
    • 提供者：wangzm07

  1. SPIN经典论文集-第11届SPIN workshop论文集

  2. Invited Paper Formal Analysis of Processor Timing Models Reinhard Wilhelm 1 Heuristics and Probabilities Typical Structural Properties of State Spaces Radek Pelánek 5 State Caching Reconsidered Jaco Geldenhuys 23 Directed Error Detection in C++ with

  3. 所属分类：C

    • 发布日期：2008-12-18
    • 文件大小：6291456
    • 提供者：ding

  1. spin a model checker

  2. 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 original Unix group of the Computing Science

  3. 所属分类：其它

    • 发布日期：2009-01-05
    • 文件大小：401408
    • 提供者：jimgreat

  1. ESpin:基于SPIN的Eclipse模型检测环境

  2. 信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类问题的重要途径。SPIN作为典型的模型检测工具,在学术界和工业界都得到了广泛应用。在Eclipse平台上设计并实现了一个基于SPIN的易扩展的模型检测环境ESpin,通过一个优化了的代码分区算法和可迅速支持SPIN升级的文法分析器,构造了一个高效、易扩充的Promela编辑器。编辑器除了支持Promela的全部语法规则外,还提供了包括实时语法反馈、关键字高亮、大纲视图、代码

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：2097152
    • 提供者：weixin_38622611

  1. 多智体系统时序认知规范的SPIN模型检测

  2. ＳＰＩＮ 模型检测器主要用来检测线性时序逻辑描述的规范， 而多智体系统的规范采用时序认知逻辑描述比较方便。本文着重讨论了如何利用 ＳＰＩＮ 模型检测线性时序认知逻辑的方法， 根据局部命题的理论， 将模型检 测 知 识 算 子 和 公 共 算 子 表 述 的 规 范 规 约 为 模 型 检 测 线 性 时 序 逻 辑 的 问 题， 从 而 使ＳＰＩＮ 的检测功能由线性时序逻辑扩充到线性时序认知逻辑。本文通过一个 ＲＰＣ 协议分析实例来说明模型检测线性时序认知逻辑的方法。

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：292864
    • 提供者：weixin_38674050

  1. 基于时态认知逻辑的Web服务模型检测

  2. 传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务组合建模为多智能体系统,并成功采用我们实现的时态认知逻辑符号模型检测工具MCTK验证了SAS股票分析服务实例。同时采用WSAT,WS-Engineer和SPIN 3个模型检测工具在相同实验环境下验证了该实例,实验结果表明我们的Web服务模型检测方法不仅比这3个模型检测工具更高效,而且支持认知逻辑规范

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：434176
    • 提供者：weixin_38641876

  1. 采用SPIN的自动柜员机业务逻辑模型检测方法

  2. 采用SPIN的自动柜员机业务逻辑模型检测方法

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：600064
    • 提供者：weixin_38713167

  1. 基于SPIN的Linux管道模型检测研究

  2. 针对科学实验载荷使用的Linux操作系统，对其测试方法等做了研究总结。模型检测作为一种全自动运行的形式化验证手段，在其适用领域对发现系统逻辑错误意义重大。针对操作系统测试需要，对Linux管道通信进行了源代码研究，使用有限状态自动机进行建模并转化为Promela语言，并运用SPIN模型检测工具对其进行了形式化验证；对之前研究中模型不完整、不够细化、主体间关联性等问题进行了改进和完善，并就实验中发现的问题进行分析，并提出了改进方案。

  3. 所属分类：其它

    • 发布日期：2021-01-13
    • 文件大小：1048576
    • 提供者：weixin_38690079
« 12 »