模型验证中的公平性问题

作者：斯袁杰; 桂林; 杨小虎

来源：浙江大学学报(工学版), 2014, (07): 1217-1225.

• 模型验证
• 公平性
• PAT
• 验证工具 model checking
• fairness
• PAT
• verification tool

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

• 出版日期2014
• 单位浙江大学; 新加坡国立大学