机译:使用PAT使用公平性假设进行模型检查
College of Computer Science, Zhejiang University, Hangzhou 310027, China;
Information System Technology and Design, Singapore University of Technology and Design, Singapore 138682, Singapore;
School of Computer Engineering, Nanyang Technological University, Singapore 639798, Singapore;
School of Computing, National University of Singapore, Singapore 117417, Singapore;
Faculty of Science, Technology and Communication, University of Luxembourg, Luxembourg L-1359, Luxembourg;
Information System Technology and Design, Singapore University of Technology and Design, Singapore 138682, Singapore;
College of Computer Science, Zhejiang University, Hangzhou 310027, China;
model checking; fairness; PAT; verification tool; formal methods;
机译:公平与反公平假设下的生死模式检查的分而治之方法
机译:检查基于与隔间模型的模拟的药代动力学概要统计分配假设
机译:检查广义线性模型假设的联合分布与边缘分布方法
机译:在公平与反公平假设下检查活动性质的模型
机译:检查回归模型假设的边缘分配方法
机译:回归混合模型假设的诊断工具
机译:基于公平假设的基于自动机的模型检查的并发实时SCC检测
机译:具有公平约束的petri网线性时态逻辑性质模型检验。