在形式化方法领域”攻深探盲” ——记上海交通大学计算机科学与工程系特别副研究员符鸿飞

摘要：

时至今日,上海交通大学特别副研究员符鸿飞在”形式化方法”这一研究领域已经坚守了约10年时间.令他感到欣慰的是,形式化方法研究和应用近年发展非常迅速.10年的攻坚克难与执着创新,也让他在形式化方法中的两个重要方向——模型检测和程序验证中都取得了一系列的创新成果.

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

页数：共2页

页码：3-4