国防科技大学计算机学院 被引频次 20 成果数 28 H指数 3 G指数 4领域: 计算机科学与技术 期刊 53.6% 会议 46.4% 专著 0% 其它 0% 总计 28篇 2018年成果数13 2018年被引量11 全部年份 全部类型 全部作者 按时间降序 Compiling FL$$^{res}$$ on Finite Words 2020 - Wanwei Liu,Liangze Yin,Tun Li...
尹良泽,博士,国防科技大学讲师,主要从事程序分析与验证方面的工作,开发并行程序验证工具Yogar-CBMC,该工具连续两年获国际并行程序验证大赛冠军。研究成果发表在TSE,TC, ASE, TACAS等国际重要期刊和会议上。
北京跟踪与通信技术研究所; 北京100094; 北京跟踪与通信技术研究所; 北京100094; 国防科技大学计算机学院; 长沙410073; 原文格式PDF 正文语种chi 中图分类软件工程; 关键词 程序验证;变量子图;反例抽象精化;事件顺序图; 入库时间2024-04-20 02:57:13