来源：滚动播报

（来源：科技日报）

#中宣部授予王戟时代楷模称号#【给导弹卫星关键软件做“CT”！这位科研人守护国防安全二十年】“时代楷模”王戟是我国高可信软件技术领域的主要开拓者，20多年前在国内首次提出“高可信软件技术”概念。在王戟看来，软件代码无小事。每一行代码都可能出错，而出错的代价，在普通软件上也许影响不大，但在导弹上、在卫星上、在战机上……后果不堪设想。高可信软件技术就像一个“软件医生”，像“做CT”一样给那些大国重器的软件系统进行全身扫描、精准诊断，找出深层次隐藏的漏洞和隐患。（科技日报记者 刘蓉蓉 张强）