[00299568]软件可信性自动验证系统
交易价格：
面议
类型：
非专利
技术成熟度：
正在研发
交易方式：
完全转让
联系人：
西南交通大学
所在地：四川成都市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及*、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。
该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。
本成果填补国内空白，并在国际上领先。
本成果适用于新一代信息技术领域。
本成果处于成熟转化阶段。
本成果应用转化预计约需1000～3000万元投资。
微信公众号
