高可信软件技术

王戟在校读书时，中国的高可信软件技术研究还在跟跑，到后来逐渐发展为并跑。

这是中国高可信软件技术研究发展的一个特点，也是一个难点。

这也注定了高可信软件技术研究的学术前沿堆满了难啃的“

他是国防科技大学计算机学院研究员，是不满14岁考上大学的少年英才，是43岁高位截肢后仍坐着轮椅冲锋在科研一线的领军人才，是用一篇论文开创了中国高可信软件技术研究领域的开拓者。

这也注定了高可信软件技术研究的学术前沿堆满了难啃的“硬骨头”。

目前，高可信软件技术已经在国家和军队建设的关键领域发挥了重要作用。

高可信软件技术”

相应地，软件的保障技术也要不断发展，高可信软件技术“

目前，高可信软件技术已经在国家和军队建设的关键领域发挥了重要作用。

从逐梦航天到挺进深蓝，从战机凌空到长剑倚天，从超算登顶到经纬沙场……从事高可信软件技术相关研究30余年来，无数令国人历历在目的瞬间背后，都有着王戟和团队的身影。

年轻的王戟带着对国家战略需求的前瞻思考，酝酿出一个全新的研究方向——高可信软件技术：用数学方法，从底层逻辑验证代码的正确性。

为了强军，他可以用几十年来研究高可信软件技术；

于是，王戟在国内首开“高可信软件技术”研究生课程，为国家培育该领域专业人才。

正如王戟所言：“高可信软件技术瞄准的是国防装备关键的技术底座，也许短期内很难快速出成果，但基础研究瞄准的是未来。

作为高可信软件技术的“数学根基”，形式化方法研究至关重要。

“军事智能属于前沿方向，对应的高可信软件技术没有现成经验、无法靠引进换取，只能依靠自主创新。

其后，王戟又在国内首开《高可信软件技术》研究生课程。

所谓高可信软件技术，就是用数学的方法从底层原理上验证软件代码的正确性。

高可信软件技术就像一名软件医生，像做CT一样给那些大国重器的软件系统进行全身扫描、精准诊断，找出深层的漏洞和隐患。