扎实打根基创新展宏图——记上海交通大学电子信息与电气工程学院特别副研究员符鸿飞

摘要：

他对科研的态度是严谨治学、打牢根基.他创新的 ”形式化验证”是一种从理论上进行测试的全新方法,被形象地称作为 ”穷尽式数学技术”,其原理是利用数学和逻辑的方法来证明计算机系统的正确性.

在线出版日期：2019-01-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：74-76