搜索结果: 1-2 共查到“计算机软件 spin”相关记录2条 . 查询时间(0.088 秒)
2017软件模型检验国际研讨会（International SPIN Symposium on Model Checking of Software）
2017 软件模型检验 国际研讨会
2017/6/29
Welcome to SPIN 2017, the 24th International SPIN Symposium on Model Checking of Software! SPIN 2017 will be held in Santa Barbara, California on July 13 and 14.
基于Spin的UML状态图模型检查的设计与实现
Statechart山脉算法 迁移提取 Spin
2009/7/21
UML已经是软件建模方面的标准语言，UML Statechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高，Statechart往往包含设计者所未预料到的隐患，通过模型检查来对Statechart进行穷举检验就成为一个重要课题，首先给出了含层次、并发Statechart的语义；随后提出了对Statechart进行模型检查的一种新方法，并且已经编写软件SC2Spin实现此方...