模型验证中的公平性问题

• 作者: 斯袁杰 杨小虎 桂林
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 模型验证 公平性 PAT 验证工具
• 年，卷（期）: 2014,（7）
• 所属期刊栏目: 计算机技术、电信技术
• 页码范围: 1217-1225
• 页数: 9页
• 分类号: TP301.2
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2014.07.011

摘要

研究模型验证中的公平性问题,全面定义了包括进程层面(process-level)的强/弱公平、事件层面(event-level)的强/弱公平以及全局强公平性(strong global fairness)等,把这些公平性条件集成进了一个模型验证工具PAT.该工具支持以on-the-fly的方式对线性时序逻辑性质进行验证.通过对多个基准模型进行实验,该工具在基于公平条件的模型验证中表现出良好的性能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨小虎		55	1022	17.0	31.0
2	斯袁杰		1	0	0.0	0.0
3	桂林		1	0	0.0	0.0