• 无效

  • 1条引用[sw30931]
  • 无效:实用类型-基于空值安全对于Java。源点异常。。。通过代码注释和可插拔编译时类型检查。然而,这样的系统一直很困难。。。论文提出了一种新的类型-基于空值安全克服这些问题的Java检查器。。。
  • SMV公司

  • 引用13篇文章[sw04135]
  • 标量和固定数组。静态结构化数据类型也可以建造。逻辑。。。丰富的时间属性,包括安全,活力,公平和死锁自由,具体来说。。。
  • UQLab公司

  • 参考22篇文章[sw19740]
  • 大量的内置设备类型但它也提供了。。。布鲁诺·苏德雷特创立了风险管理委员会,安全苏黎世ETH的不确定性量化。。。
  • 再见

  • 引用41篇文章[sw12089]
  • 程序的谓词和文本,包括类型,模式和其他变量实例化属性。。。移动代码的抽象携带代码方法安全...
  • CLF公司

  • 引用2篇文章[sw21372]
  • 断言,包括它的动态语义,安全标准,和类型具有潜在影响的系统。。。
  • 认证

  • 引用9篇文章[sw22728]
  • 为独立的-打字功能语言,比如Gallina的核心。。。重要属性的已验证证明,如安全和正确性,以及一种传输机制。。。独立编译器的基本问题-打字语言。。。
  • 散列表

  • 在0篇文章中引用[sw19181]
  • “无序地图”以实现高性能,类型-安全,以及多功能性,同时遵守。。。
  • 普通中等教育

  • 引用4篇文章[sw22622]
  • 验证程度,包括完整的语义保留,类型保全,或非正式信托。举个例子。。。安全对于这个编译器,前端使用了一个新颖的组合类型保存。。。
  • nuXmv公司

  • 引用了20篇文章[sw18526]
  • 用新数据扩展numv语言类型,即整数和实数,它提供。。。基于设计,混合动力系统的模型检查,安全评估和软件模型检查。。。
  • 扫描器

  • 1条引用[sw10873]
  • 软件允许培训和安全所有人的意识类型车辆:汽车乘客;卡车。。。
  • 网箱

  • 引用2篇文章[sw20006]
  • 可取的安全对其征收的财产。NetSketch帮助系统集成商类型活动:建模。。。进行未来分析安全属性。作为一个设计工具,NetSketch使探索。。。成分分析是基于-打字用于描述。。。
  • 修补类型

  • 参考第5条[sw01773]
  • 算符和kinding,计算效果,和依赖类型. 它描述了声明性和算法方面。。。系统,并提供基本安全属性。。。
  • HighlightsRTC

  • 在0篇文章中引用[sw24324]
  • 缺乏动力安全检查和相对较弱的类型系统允许程序员监督。。。算术溢出和下溢,以及运行时类型违规行为。大多数仪器都是直接。。。有运行时安全检查。它处理内存冲突、算术下溢/溢出,以及类型违规。插入指令的代码。。。
  • 楔形

  • 1条引用[sw26049]
  • 简单的类型系统允许对语言的安全黑色。。。
  • 财政部

  • 引用4篇文章[sw32463]
  • 包含多个元素的网格的集成类型以及元素形状,通常会遇到。。。结构完整性评定的裂纹扩展安全-关键结构。。。
  • 维尔姆

  • 参考6篇文章[sw13286]
  • LLVM中间表示的语义类型系统及其SSA形式的属性。。。这使得C程序对空间内存的依赖性更强安全违规行为。Vellvm的工具允许。。。
  • 千年发展目标

  • 引用3篇文章[sw12127]
  • 由一个抽象变量表示类型并表示一个数据操作。。。特点:1)组合电路验证,2)安全属性检查,3)状态枚举4)等价。。。
  • 攻击树

  • 1条引用[sw11974]
  • 可能会有政治攻击安全后果。部分成功的攻击可能会。。。完全成功的攻击。所有这些类型结果度量可以在AttackTree中建模。。。