PROMELA

作品数：43被引量：73H指数：5
导出分析报告
相关作者：李祥吴尽昭黄志球唐郑熠孙守卿更多>>
相关机构：贵州大学南京航空航天大学南昌大学北京交通大学更多>>
相关期刊：《计算机技术与发展》《电脑编程技巧与维护》《计算机与数字工程》《计算机与现代化》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机与现代化x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SPIN的系统建模研究被引量：1
《计算机与现代化》2012年第9期209-214,共6页徐小丽 
模型检测由于其自动化程度高,是形式化验证领域最受欢迎的验证方式之一。要使用模型检测器,首先要对要验证的系统进行建模。本文阐述模型检测技术的基本原理,并采用SPIN模型检测器对Promela建模进行研究。最后给出一个简单的公交车运行...
关键词：模型检测 建模 SPIN PROMELA 
基于Promela的UML建模方法及其应用被引量：2
《计算机与现代化》2010年第2期101-104,共4页舒良春 饶俊 肖美华 尹传文 
2008年江西省研究生创新专项资金省教育厅资助项目(YC08A032)
针对形式化方法与可视化方法的优缺点,本文提出形式化方法与可视化UML互补的建模方法,主要探讨用形式化方法验证UML模型,将UML模型转换为Promela模型,再用模型检测工具SPIN对Promela模型进行验证。最后通过实例对此转换方法进行验证,实...
关键词：UML PROMELA SPIN 形式化方法 
SPIN语义引擎执行方式研究被引量：1
《计算机与现代化》2009年第11期112-115,共4页黎升洪 冯艳清 
国家自然科学基金资助项目(60673115)
模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。本文从语义角度研究PROMELA语义引擎问题,首先给出PROMELA语法的抽象对象模型形式化定义,然后给出一个算法来实现PROMELA语法到抽象对...
关键词：模型检查 SPIN PROMELA 语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部