新闻动态
形式化验证助力载人航天工程软件的安全可靠性保障
来源: | 作者:望安科技 | 发布时间: 276天前 | 560 次浏览 | 分享到:

。公司CC EAL 5+安全认证能力满足国内航天嵌入式操作系统的安全要求，望安科技将持续助力国内航天系统高安全的等级保障。




通过此次专家论坛，望安科技进一步加强了与航天软件行业的合作与交流。未来，望安将继续致力于推动形式化验证技术的创新和应用，为航天工程及其他关键行业的软硬件安全做出更大的贡献！



END




NEWS