中新社微信公众号 · NEWS
大国重器背后的故事：高可信是什么？王戟又是谁？
摘要
“高可信”是什么？ 用王戟的话说，软件信息系统会“生病”，高可信软件就是给软件“看病”的工具，用来检查软件的性能是否符合人们的预期。“相当于给软件做一个CT扫描，看看哪些地方可能有问题，尽早解决。” 王戟又是谁？ 他是国防科技大学计算机学院研究员，是不满14岁考上大学的少年英才，是43岁高位截肢后仍坐着轮椅冲锋在科研一线的领军人才，是用一篇论文开创了中国高可信软件技术研究领域的开拓者。 图为国防科
在来源网站继续阅读↗