欢迎来到HyCOMP异步混合动力系统模型检查器的主页。

HyCOMP建立在numv模型检查器之上nuXmv公司以及Mathsat5 SMT解算器数学卫星

主要特点:

  • 海迪语
  • 不变性质的验证
  • LTL属性验证
  • 场景验证
  • 参数综合
  • 将HyDI模型离散化为nuXmv语言(即符号转换系统)


页面最后一次修改时间为2014年10月23日晚上7:40