2020-07-14

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

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

    相关附件>>

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

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