使用iState进行状态图验证
软件工程
2009-09-09 v1
摘要
本文是发表在FM 06上同名扩展摘要的较长版本。我们详细描述了在iState工具中实现的从状态图结构生成验证条件的算法。这种方法也为我们提供了一种新颖的方法来定义状态图的谓词语义版本，类似于我们如何为编程语言分配谓词语义。
引用
@article{arxiv.0909.1361,
title = {Statechart Verification with iState},
author = {Dai Tri Man Le},
journal= {arXiv preprint arXiv:0909.1361},
year = {2009}
}
备注
11 pages, 1 figure