Home
Editorial Board
Journal General Situation
Submission Guidance
Special Editorial
Excellent Thesis
Contact Us
中文版
Rapid Retrieval:
Article NO.
Chinese Title
English Title
Pin Yin Name
Real Name
Institution(In Chinese)
Institution(In English)
Chinese KeyWords
English KeyWords
Abstract(In Chinese)
Abstract(In English)
Fund Project(In Chinese)
引用本文:
【打印本页】
【下载PDF全文】
【
View/Add Comment
】
【EndNote】
【RefMan】
【BibTex】
←前一篇
|
后一篇→
过刊浏览
高级检索
本文已被：浏览
967
次 下载
1037
次
分享到：
微信
更多
字体:
加大+
|
默认
|
缩小-
时间自动机的事务级形式验证(英文)
阿米拉里高弗兰尼; 法特穆加瓦河瑞; 哈米德诺瑞; 在那拉贝定纳瓦比
1
德黑兰大学电子计算机工程系
摘要
:
提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根据这些属性执行,并引入一种模拟事务级设计方案差错的故障模型来评估这些属性.然后这些属性通过使用形式UPPAAL验证工具在系统的定时自动机表示上针对这些故障被验证.最后通过一个实例研究说明该方法的有效性.
关键词
:
形式验证
定时自动机
事务级模型
UPPAAL
DOI：
分类号
:
基金项目:
Abstract
:
Key words
:
Editorial BoardJournal General SituationSubmission GuidanceSpecial EditorialExcellent ThesisContact Us中文版
Editorial BoardJournal General SituationSubmission GuidanceSpecial EditorialExcellent ThesisContact Us中文版