源自中科大技术团队自主研发工具系列 通过程序分析、程序验证提供代码质量与安全的双重保障
高可信软件是指可靠安全性和保密安全性标准极高的软件。 · 可靠安全性(safety)是指软件具有设计要求的功能，在运行时不引起危险、灾难的能力。 · 保密安全性(security)是指软件具有对数据和信息提供保密性、完整性、可用性、真实性的保障能力。 一般软件的可靠和安全是通过测试来保障的，而高可信软件可以通过使用分析和验证工具来获得更高保障。
使用自动化手段加强编程规约 静态扫描源代码发现程序缺陷
使用演绎推理来证明程序的性质 确保每行代码严格符合需求规约
程序分析和验证解决方案 程序代码质量提升和审计
