手机：13637256335
电话：13637256335
邮箱：sales1@hangxinelec.com
地址：安徽省六安市舒城县杭埠镇工投产业园
程序代码开发过程引进先进的高可信软件测试技术，实现自动发现程序中隐性错误和潜在风险，保障软件可靠性和稳定性 。
系统化产品验证平台
高可信软件验证平台
