2020-07-14

我省批准建设四川省系统可信性自动验证工程实验室

  • 2014年12月10日 11时39分
  • 来源: 四川省发展和改革委员会网站
  • 【字体:
  •   近日,我委批复同意由西南交通大学实施四川省系统可信性自动验证工程实验室项目。该项目将建设自动推理工具、可信性自动验证、形式化工具系统等3个研发平台,构建系统可信性自动验证研发平台,为复杂大系统的安全运行提供科学依据,为多种系统提供可信性自动验证的科学有效工具。
    责任编辑: 雷晓琦
    扫一扫在手机打开当前页

    我省批准建设四川省系统可信性自动验证工程实验室

  • 2014年12月10日 11时39分
  • 来源: 四川省发展和改革委员会网站
  •   近日,我委批复同意由西南交通大学实施四川省系统可信性自动验证工程实验室项目。该项目将建设自动推理工具、可信性自动验证、形式化工具系统等3个研发平台,构建系统可信性自动验证研发平台,为复杂大系统的安全运行提供科学依据,为多种系统提供可信性自动验证的科学有效工具。
    责任编辑: 雷晓琦
    扫一扫在手机打开当前页
    主办单位:四川省人民政府办公厅
    运行维护单位:中国电信四川公司
  • 微信
  • 微博
  • 客户端
  • 头条号
  • 手机版 电脑版
    Baidu
    map