提示
骆丽
-
39浏览
-
0点赞
-
0收藏
-
0分享
-
97下载
-
0评论
-
引用
期刊论文
任务流模型检验的研究
开发研究与设计技术，2007（3）：10795～10797，-0001，（）：
摘要/描述
对任务流模型检验技术进行了讨论。任务流方法不关心状态数量、能否从一个指定状态到达另一指定状态及系统必须的状态是否存在。而是关心状态组合提供的功能是否存在及各状态组合之间是否存在指定的转换关系，从而避免了状态空间爆炸问题。模块搜索算法以模块为基础对任务流模型进行搜索来验证给定系统是否满足规范要求。
关键词:
验证、模型检验、任务流模型
【免责声明】以下全部内容由[骆丽]上传于[2010年03月04日 14时46分32秒]，版权归原创者所有。本文仅代表作者本人观点，与本网站无关。本网站对文中陈述、观点判断保持中立，不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考，并请自行承担全部责任。
我要评论
全部评论
共 0 条
本学者其他成果
同领域成果
