期刊社
首页
编委会
期刊概况
投稿指导
优秀论文
联系我们
English
快速检索:
文章编号
中文标题
英文标题
作者英文名
作者中文名
单位中文名
单位英文名
中文关键词
英文关键词
中文摘要
英文摘要
基金项目
引用本文:
【打印本页】
【下载PDF全文】
【
查看/发表评论
】
【EndNote】
【RefMan】
【BibTex】
←前一篇
|
后一篇→
过刊浏览
高级检索
本文已被：浏览
970
次 下载
1039
次
分享到：
微信
更多
字体:
加大+
|
默认
|
缩小-
时间自动机的事务级形式验证(英文)
阿米拉里高弗兰尼; 法特穆加瓦河瑞; 哈米德诺瑞; 在那拉贝定纳瓦比
1
德黑兰大学电子计算机工程系
摘要
:
提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根据这些属性执行,并引入一种模拟事务级设计方案差错的故障模型来评估这些属性.然后这些属性通过使用形式UPPAAL验证工具在系统的定时自动机表示上针对这些故障被验证.最后通过一个实例研究说明该方法的有效性.
关键词
:
形式验证
定时自动机
事务级模型
UPPAAL
DOI：
分类号
:
基金项目:
Abstract
:
Key words
:
