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

搜索资源列表

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

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

  3. 所属分类：其它

    • 发布日期：2009-05-31
    • 文件大小：181kb
    • 提供者：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
    • 文件大小：75kb
    • 提供者：jeke130

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：网络安全

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

  1. Introduction to SPIN & Promela

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

  3. 所属分类：网络安全

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

  1. Principles of the Spin Model Checker.pdf

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

  3. 所属分类：软件测试

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

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

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

  3. 所属分类：系统安全

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

  1. Spin工具应用

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

  3. 所属分类：数据库

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

  1. 模型检测工具spin

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

  3. 所属分类：系统安全

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

  1. 模型检测Spin

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

  3. 所属分类：其它

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

  1. spin516.tar.gz

  2. 模型检测工具spin for linux

  3. 所属分类：Linux

    • 发布日期：2008-11-08
    • 文件大小：392kb
    • 提供者：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
    • 文件大小：6mb
    • 提供者：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
    • 文件大小：392kb
    • 提供者：jimgreat

  1. Randall-Sundrum模型中重力介导的暗物质an灭

  2. 暗物质的观测证据源于它的引力相互作用，到目前为止，还没有证据表明暗物质通过其他方式相互作用。 我们研究了在Randall-Sundrum背景中暗物质相互作用纯粹是引力作用的模型。 尤其是，弯曲的第五维所产生的引力子的Kaluza-Klein塔可以为标准模型的最终状态提供可行的channels灭通道，并且我们发现可以实现the灭横截面的值σv，与 在spin-1暗物质中观察到的文物丰度。 我们使用当前的光子线和连续介质间接暗物质搜索来检查对这些模型的约束，并在未来的直接和间接检测实验中评估寻找此类

  3. 所属分类：其它

    • 发布日期：2020-03-30
    • 文件大小：820kb
    • 提供者：weixin_38631331

  1. 暗物质直接检测的理论偏差分析

  2. 当模型``A''适合暗物质直接检测数据时，当作为数据基础的模型是``B''时，会在拟合中引入理论偏差。 我们对暗物质直接检测中的理论偏差进行了定量研究，重点是关于暗物质相互作用和速度分布的假设。 我们在重的spin-1或spin-0粒子介导的等量暗物质-核子相互作用的有效理论中解决了这个问题。 我们使用频数和贝叶斯统计方法分析该理论的参数空间中的24个基准点。 首先，我们模拟未来直接检测实验的数据，假设动量/速度依赖暗物质-核子相互作用，并且各向异性暗物质速度分布。 然后，我们将常数散射截面和各

  3. 所属分类：其它

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

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

  3. 所属分类：其它

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：586kb
    • 提供者：weixin_38713167
« 12 »