概率线性时段不变式的统计模型检验

• 作者: 安杰
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 模型检验 时段验算 UPPAAL 概率线性时段不变式
• 年，卷（期）: 2014,（10X）
• 页码范围: 7097-7099
• 页数: 3页
• 分类号: TP311.53

摘要

模型检验是软件工程形式化方法的一个重要组成部分,线性时段不变式是形式化方法中表述系统性质的一种重要表达式。对线性时段不变式的模型检验一直是形式化方法研究的一个重要内容。该文提出了一种针对带概率的线性时段不变式的模型检验方法,该方法针对不带有不确定性的概率模型,运用统计模型检验的方法,基于UPPAAL工具实现了概率线性时段不变式的统计模型检验。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	安杰	同济大学软件学院	5	2	1.0	1.0