软件作为一门基础信息技术，为城市数字化、智能化转型提供重要支撑，高可信软件在国家安全和 会稳定密切相关的关键基础设施建设中发挥着关键作用。
7月31日下午，图灵大会—高可信软件技术论坛在合肥隆重召开，高可信软件工具链发布仪式正式启动。此次发布旨在汇聚行业优质资源，加速高可信软件的国产化替代进程，为用户提供全方面、高可信的测试服务，不断推动高可信软件的商业化应用和可持续发展。
为了加快形成自主可控的软件技术能力，控安51fusa安全 区于8月19日至9月16日邀请到国产高可信软件的领航企业专家，来自华东师范大学、中科国创高可信、上海控安、苏州棱镜七彩、上海复深蓝的五位专家深度剖析国产化工业软件发展。
分享主题将围绕“轨道交通联锁系统形式化验证解决方案”、“高可信软件技术助力代码质量提升”、“C/C++软件自动化单元测试”、“流量回放测试”、“开源成分分析”等内容进行剖析，欢迎感兴趣的朋友入群学习交流！我们不见不散~
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！