PROMELA语言相关论文
随着系统设计复杂度的提高,设计验证已成为系统设计的瓶颈;传统验证技术已不能满足需要,形式化验证技术是适应这种需求而产生的新......
由于应用的复杂性，在很多情况下单个Web服务难以满足实际需求，对于复杂业务过程的处理需要采用服务组合的方法即由各个小粒度的Web服......
总结了利用模型检测工具SPIN对安全协议进行建模的方法.以Helsinki协议和Helsinki改进协议作为分析实例,用Promela语言建模并使用S......
