模型检验方法相关论文
逻辑方法和模型检验方法是安全协议的两种重要分析方法.逻辑方法简单、直观,但其最大问题是不够完备,模型检验方法自动化程度高且......
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检......
