作者：董威; 王戟; 齐治昌uml模型检验组合验证
摘要：该文在用层次自动机结构化表示UML Statecharts的基础上，把Statecharts的层次结构特点纳入到组合验证中，使得对实现规范的验证可以通过把系统的某些层次精化部分用更抽象的规约代替来进行，以缓解模型检验中的状态爆炸问题。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机工程与应用》（CN：11-2127/TP）是一本有较高学术价值的大型半月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
部级期刊
人气 230277 评论 65
人气 214965 评论 35
省级期刊
人气 213216 评论 71
北大期刊、统计源期刊
人气 193068 评论 73
