• 聪明的_

  • 参考33篇文章[sw04097]
  • 逻辑行为,包括明确的和象征性的状态-空间 一代技术,以及象征性的。。。
  • LTSmin公司

  • 引用18条[sw07214]
  • 使用新工具重用现有工具状态 空间 一代技术。实现对新语言的支持。。。标准可达性检查(例如状态 空间 一代以及安全性能验证),可及性。。。模块与统一工作状态表示固定大小的整数向量。。。转换缓存(速度较慢状态 空间 发电机)矩阵重组(可以大大减少。。。
  • Java探路者

  • 引用120篇文章[sw07658]
  • 规定的断言。JPF公司产生一个PROMELA模型状态 空间特点。。。
  • Exp.打开

  • 在10篇文章中引用[sw07702]
  • Cadp工具,Exp.open2.0允许状态 空间 一代以及飞行探索。第三。。。
  • 乌帕亚尔2K

  • 引用了43篇文章[sw01595]
  • 也可用于显示痕迹生成通过模型检查器。自版本。。。象征的状态-空间. 从3.2版开始,它还可以检查活跃度属性。诊断。。。
  • DSSZ-MC公司

  • 参考6篇文章[sw01360]
  • 主要特点是基于饱和度状态 空间 一代,强连接组件分析,死亡状态...
  • 苯丙氨酸

  • 引用了30篇文章[sw02242]
  • 自动横截面计算。A相-空间 一代算法,能够有效地积分平方。。。截面自动计算与事件一代. 结果表明,四、五阶散射过程具有良好的稳定性。。。决赛中的粒子状态简要介绍。。。
  • 引用4篇文章[sw10581]
  • 减少。最重要的是,勺可以输出状态 空间在IMCA的输入格式中。。。优化)(M)LPE或生成这个状态 空间,或者只是数一数...
  • 墨菲

  • 引用16条[sw22149]
  • 空间.在此模式下遇到的将保存在哈希表中。 生成那个。。。
  • Symstra公司

  • 引用18条[sw01296]
  • Symstra,一个实现这两个测试的框架一代使用方法序列的符号执行的任务。。。定义符号面向对象程序和. 鉴于。。。序列,Symstra系统地探索这个物体-状态 空间和修剪这个探索。。。状态比较。实验结果表明,Symstra产生实现更高分支覆盖率的单元测试。。。
  • 科西玛

  • 在10篇文章中引用[sw20124]
  • 状态-空间计算离散抽象的方法。工具产生控制器。。。
  • 理柏

  • 引用63篇文章[sw15253]
  • 广义(或隐式或描述符)状态 空间形式。一个名为RICPACK的软件包已经。。。可用并可用于生成模型中“小”变化的新解决方案。。。
  • 诽谤

  • 引用13篇文章[sw19384]
  • LibBi是一个用于状态-空间现代计算机建模与贝叶斯推理。。。然后优化特定模型的语言,产生,为给定的。。。工作是介绍状态-空间模型和专门开发的方法。。。
  • RM-MEDA公司

  • 引用了35篇文章[sw08554]
  • 在决策中建立一个有希望的领域空间由一个质心。。。下一个一代. 系统实验表明,总体而言,RM-MEDA的性能优于其他三种状态...
  • 浮士德2

  • 引用13篇文章[sw23682]
  • FAUST2是一个软件工具产生离散时间的形式抽象(可能是非确定性的)。。。在不可数(连续)上定义的过程(dtMP)状态 空间. 在MATLAB中给出了一个dtMP模型。。。
  • 揭示

  • 引用了20篇文章[sw00801]
  • 原始设计状态 空间. 这个近似值随后被用来验证。。。根据伪反例提炼出来的吗产生. 这样的精致可以看。。。
  • dSPIN

  • 引用31篇文章[sw09888号]
  • 标准旋转状态 空间探索和简化算法:内存引用(指针);动态内存分配/删除。。。随机模拟器和验证器发电机. 该工具是向后旋转兼容的。。。
  • 杰科

  • 1条引用[sw29268号]
  • 写在ActorFoundry库中。产生这个状态 空间对一个给定的程序执行。。。
  • 雷贝卡

  • 1条引用[sw29269]
  • 有效的工具产生这个状态 空间模型。已经开发了几种技术。。。
  • PTrie公司

  • 引用3篇文章[sw35790]
  • 存储(编码)状态-空间探索。为了追求快。。。随机处理生成二进制字符串以及状态-空间探索。。。