• 伊莎贝尔/霍尔

  • 901篇参考文献[SW01569]
  • 数学证明,特别是形式证明验证其中包括证明计算机硬件的正确性…计算机语言的性质证明协议
  • 伊莎贝尔

  • 576篇参考文献[SW044]
  • 数学证明,特别是形式证明验证其中包括证明计算机硬件的正确性…计算机语言的性质证明协议
  • 乌普巴尔

  • 612篇参考文献[SW04702]
  • 用于建模、仿真和集成的工具环境验证实时系统,共同开发…区域包括实时控制器和通信。协议特别是那些时机方面的人…
  • 空军陆战队

  • 26篇参考文献[SW09466 ]
  • IF PAOFMC执行两个协议伪造和有界会话验证通过探索,在需求中…此外,OFMC允许人们分析安全性。协议关于代数理论…基于定点的技术协议 验证对于无限数量的会话…
  • 设计/ CPN

  • 37篇参考文献[SW01952]
  • 建模与验证密码的协议使用着色Petri网和设计/CPN…
  • 塞萨尔

  • 150篇参考文献[SW0810]
  • 规范和验证CSEAR中的并发系统。本文的目的是…通过实例说明,交替位协议,使用CESAR,一个交互系统…单调谓词变换器的不动点这个验证一个系统包括获得…
  • 飞天螳螂

  • 16篇参考文献[SW09467 ]
  • ScTyter工具:验证证伪与安全分析协议. 随着互联网的兴起…允许一个很容易证明协议在一个正式的模型中是正确的…自动化伪造或验证这样的协议用最先进的工具…
  • 维里克斯

  • 31篇参考文献[ SW0201]
  • 自动化原始工具验证时间自动机与协议写在一个子集…部分研究项目自动化验证时间依赖系统的研究所…
  • 爱马仕

  • 9篇参考文献[SW0403]
  • 自动工具验证安全保密协议. 密码学不足以实现…完全密码学假设。大部分协议 验证工具是有界的模型检查工具。应用于发现密码中的缺陷协议. 相反,基于归纳的工具…
  • 聚苯硫醚

  • 89篇参考文献[SW05357]
  • 用于分析的几种系统验证硬件和软件组件。目前的应用跨度…逻辑语言、同步语言与同步协议实时系统和混合系统。自从精液…
  • 蒂姆布克

  • 46篇参考文献[SW06351]
  • 程序验证. 例如,Timbuk目前用于验证Cryptographic。协议(看到一些文件…
  • 乱涂

  • 15篇参考文献[SW20863]
  • 进一步的好处。它使验证以确保协议可以实现无结果…
  • 团结

  • 173篇参考文献[SW13461 ]
  • 形式上的断言,允许正式验证在过渡系统中,第二步进入可执行程序…利用时间偏差的机器干扰问题协议一个分布式内存并行体系结构…
  • 伊莎贝尔/ZF

  • 60篇参考文献[SW0493]
  • 数学证明,特别是形式证明验证其中包括证明计算机硬件的正确性…计算机语言的性质证明协议. 伊莎贝尔/ZF形式化了大部分的初等…
  • 调查

  • 6篇参考文献[SW22152]
  • 当地验证全球的协议. 本文提出了一种设计无死锁多方的工具链。全球协议以及它们的运行时间验证通过自动生成的分布式端点监视器。建筑验证全局通信安全属性协议但是通过独立监测来强制执行它们…符合协议. 全球协议规格可另行阐述,以表达更细…
  • MCRL2

  • 50篇参考文献[SW01496]
  • 分析分布式系统的行为和协议是CRL的继承者。广泛的…附带工具集,允许自动分析和验证系统…
  • 麦克马斯

  • 63篇参考文献[SW09463]
  • MCMAS:一个模型检验器验证多智能体系统。而时态逻辑…机器人、安全等领域协议,Web服务等,例如,涉及安全规范…
  • AGVI

  • 4篇参考文献[SW02267]
  • AGVI——自动生成验证安全性的实现协议. 随着新的互联网应用的出现…设计并实现。不幸的是电流协议设计和实现过程往往是…工具包AGVI,自动生成,验证安全性的实现协议. 用AGVI协议设计师
  • 羧甲基纤维素

  • 32篇参考文献[SW12422]
  • 与现有实时方法不同的方法验证工具(HyTeCo,KRONOS,UPPAAL)。经过描述…例子:菲舍尔的互斥协议铁路交叉系统…