• 毫升

  • 491篇参考文献[SW01218]
  • 需要显式类型注释,并确保类型安全有一个正式的证据证明…
  • 克罗诺斯

  • 256篇参考文献[SW01270]
  • 这些系统往往是复杂的一部分。安全-关键应用,如飞机航空电子,…
  • CAFEOBO

  • 162篇参考文献[SW0622]
  • 机器支持的验证方法安全基于一阶动态系统的性质状态谓词,我们可以验证安全用谓词演算研究无穷大系统的性质
  • 特威尔

  • 163篇参考文献[SW0688]
  • 证明携带代码系统和类型安全标准的证明…
  • 埃斯特尔

  • 158篇参考文献[SW1212]
  • 执行双模拟还原的工具或安全属性检查。Esterel现在正在实验中使用…
  • 轻量级Java

  • 86篇参考文献[SW16204]
  • 关于诸如类型的关键属性的参数安全. 我们把这个过程再向前一步…遵循Java的类型证明安全对于轻量级Java,因此说明了许多…A的有趣特征安全证明完整的语言,同时保持令人愉快的紧凑…给出详细的类型证明安全. 扩展系统首次正式化。
  • 爆炸

  • 121篇参考文献[SW09337 ]
  • 函数)通过有效的执行。验证安全属性可以减少到可达性。
  • 阿斯特里

  • 111篇参考文献[SW13704]
  • 大型嵌入式控制命令的成功安全自动生成关键实时软件。
  • 帕弗

  • 107篇参考文献[SW04123]
  • 准确度的工具安全具有分段常数界的混杂系统的性质
  • CBMC

  • 74篇参考文献[SW0919]
  • 允许验证数组边界(缓冲区溢出)指针安全EXCEP和用户指定…
  • SEL4

  • 72篇参考文献[SW15222]
  • 行为。这包括传统的设计和实现。安全像内核这样的属性永远不会…
  • SLMC

  • 69篇参考文献[SW04604]
  • π演算系统的验证工具安全活性和结构性质表示…
  • SPARK

  • 48篇参考文献[SW03124]
  • 运行时错误的缺失安全-关键软件。本文报道的结果…运行时错误的缺失安全-关键艾达软件。特别是,工具集…
  • 信号

  • 51篇参考文献[SW0915]
  • 然而,全球化成为一个难题。安全要求启用单独编译…
  • D/dt

  • 35篇参考文献[SW10314]
  • 描述提供自动化的工具D/DT安全线性连续混合系统的验证连续模式以满足安全规格
  • CIAO

  • 46篇参考文献[SW120 88 ]
  • 设计目标是高表现力,可扩展性,安全,可靠性和有效执行…
  • UPPAAL2K

  • 42篇参考文献[SW01595]
  • 自动检定的模型检查器安全通过可达性分析证明了粘合活性。