概率线性时段不变式的统计模型检验 |
| |
引用本文: | 安杰.概率线性时段不变式的统计模型检验[J].数字社区&智能家居,2014(30):7097-7099. |
| |
作者姓名: | 安杰 |
| |
作者单位: | 同济大学软件学院 |
| |
摘 要: | 模型检验是软件工程形式化方法的一个重要组成部分,线性时段不变式是形式化方法中表述系统性质的一种重要表达式。对线性时段不变式的模型检验一直是形式化方法研究的一个重要内容。该文提出了一种针对带概率的线性时段不变式的模型检验方法,该方法针对不带有不确定性的概率模型,运用统计模型检验的方法,基于UPPAAL工具实现了概率线性时段不变式的统计模型检验。
|
关 键 词: | 模型检验 时段验算 UPPAAL 概率线性时段不变式 |
本文献已被 CNKI 等数据库收录! |
|