• High-Confidence Software

    用高可信软件技术守护你的每一行代码

    源自中科大技术团队自主研发工具系列
    通过程序分析、程序验证提供代码质量与安全的双重保障

    Read More
  • 什么是高可信软件?

    高可信软件是指可靠安全性和保密安全性标准极高的软件。
    · 可靠安全性(safety)是指软件具有设计要求的功能,在运行时不引起危险、灾难的能力。
    · 保密安全性(security)是指软件具有对数据和信息提供保密性、完整性、可用性、真实性的保障能力。

    一般软件的可靠和安全是通过测试来保障的,而高可信软件可以通过使用分析和验证工具来获得更高保障。

    Read More

程序分析

使用自动化手段加强编程规约
静态扫描源代码发现程序缺陷

了解更多

程序验证

使用演绎推理来证明程序的性质
确保每行代码严格符合需求规约

了解更多

咨询服务

程序分析和验证解决方案
程序代码质量提升和审计

了解更多