格隆汇9月12日丨科大国创(300520)(300520.SZ)近期在接待机构投资者调研时表示,公司高可信软件以发现程序问题的能力强、覆盖代码范围广、研发过程衔接快、测试验证精度高等特点为公司数字化产品的安全、可靠保驾护航;其次,公司围绕形式分析、形式验证及可信测试开展高可信软件的市场化推广,目前已在航天航空、军工交通、汽车电子等领域实现应用。
(责任编辑:宋政 HN002)
格隆汇9月12日丨科大国创(300520)(300520.SZ)近期在接待机构投资者调研时表示,公司高可信软件以发现程序问题的能力强、覆盖代码范围广、研发过程衔接快、测试验证精度高等特点为公司数字化产品的安全、可靠保驾护航;其次,公司围绕形式分析、形式验证及可信测试开展高可信软件的市场化推广,目前已在航天航空、军工交通、汽车电子等领域实现应用。
【免责声明】本文仅代表作者本人观点,与和讯网无关。和讯网站对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考,并请自行承担全部责任。
最新评论