作者：钱俊彦statecharts形式化技术case工具
摘要：在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上，简述SuperState工具中主要部分的实现思想，即采用静态分析和动态仿真保证设计模型的正确性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《广西科学院学报》（季刊）创刊于1982年，由广西科学院主办，CN刊号为：45-1075/N，自创刊以来，颇受业界和广大读者的关注和好评。 《广西科学院学报》始终坚持以马列主义、思想、邓小平理论和“三个代表”重要思想为指导，刊登了大量广西自然科学各领域的学术论文和具有创造性的科研成果，为活跃自然科学的理论研究，促进科技成果向生产力转化，繁荣科学技术事业，推动科技成果在国内外的交流作出了积极的贡献。
省级期刊
人气 238654 评论 36
人气 154251 评论 33
人气 151932 评论 53
人气 123283 评论 54
