王文胜(1993-),男,博士,主要研究领域为自动机理论,时序逻辑;田聪(1981-),女,博士,教授,博士生导师,CCF杰出会员,主要研究领域为软件安全,智能软件开发方法,可信软件基础理论与方法;段振华(1948-),男,博士,教授,博士生导师,CCF会士,主要研究领域为形式化方法,可信软件基础理论与方法
田聪,E-mail:ctian@mail.xidian.edu.cn
TP311
科技创新2030—“新一代人工智能”重大项目(2018AAA0103202);国家自然科学基金(61732013);陕西省重点科技创新团队(2019TD-001)
王文胜,田聪,段振华. Streett自动机确定化工具.软件学报,2023,34(8):3659-3673
复制