• 毫升

  • 引用514篇文章[sw01218]
  • 需要显式类型注释,并确保类型安全–有正式证据表明。。。
  • 克洛诺斯

  • 引用261篇文章[sw01270]
  • 这些系统通常是复杂系统的一部分安全-关键应用,如飞机航空电子设备。。。
  • 咖啡馆

  • 引用166篇文章[sw06232]
  • 机器支持的验证方法安全基于一阶动态系统的性质。。。状态谓词,我们可以验证安全用谓词演算研究无限状态系统的性质。。。
  • 特维尔

  • 在169篇文章中引用[SW0688号]
  • 证明携带代码系统,和一个类型安全标准证明。。。
  • 埃斯特雷尔

  • 引用162篇[sw20012]
  • 执行交互模拟减少或安全属性检查。埃斯特雷尔现在正在实验中使用。。。
  • 羽状爪哇

  • 引用90篇文章[sw16204]
  • 关于键属性(如类型)的参数安全. 我们把这个过程推进了一步。。。以下是Java的类型证明安全对于轻量级的Java,因此说明了许多。。。一个有趣的特性安全完整语言的证明,同时保持令人愉快的紧凑。。。详细证明类型安全. 扩展系统首次正式化。。。
  • 爆炸

  • 参考文献125篇[sw02937]
  • 函数)通过有效的执行。验证安全属性可以归结为可达性。。。
  • 阿斯特里

  • 在111篇文章中引用[sw13704]
  • 成功地实现了大型嵌入式控制命令安全关键实时软件自动生成。。。
  • 法弗

  • 参考109篇文章[sw04123]
  • 准确验证工具安全具有分段常数界的混合系统的性质。。。
  • 塞尔4

  • 引用80篇文章[sw15222]
  • 行为。这包括传统的设计和实现安全像内核这样的属性永远不会。。。
  • CBMC公司

  • 引用了77篇文章[sw09719]
  • 允许验证数组边界(缓冲区溢出)、指针安全,示例和用户指定。。。
  • SLMC公司

  • 引用71篇文章[sw04604]
  • 验证π-微积分系统的工具安全,活性和结构性质的表达。。。
  • 火花

  • 引用48篇文章[sw03124]
  • 中没有运行时错误安全-关键软件。本文报告了实验结果。。。中没有运行时错误安全-关键Ada软件。特别是,工具集。。。
  • 信号

  • 引用51篇文章[sw02915]
  • 然而,这是一个很难解决的问题安全要求。要启用单独编译。。。
  • 日期/日期

  • 引用36篇[sw10314]
  • 描述提供自动安全线性连续混合系统之验证。。。连续模式以满足安全规范。。。
  • 再见

  • 引用47篇文章[sw12088]
  • 设计目标是高表达能力,可扩展性,安全,可靠性和高效执行。。。
  • MCNP公司

  • 参考33篇文章[sw07836]
  • 在美国境内受到辐射安全信息计算中心在橡树岭。。。辐射屏蔽,射线照相术,医学物理学,核临界安全探测器设计与分析,核油井。。。
  • 乌帕亚尔2K

  • 引用了43篇文章[sw01595]
  • 用于自动验证的模型检查器安全通过可达性分析得到了键合活性性质。。。