一种新的状态转移模型 (1990年)

本文提出了一种用于计算机协议分析与验证的新状态转移模型—复合转移模型,这种模型的优点是可以弥补目前所通用的混合模型的2点不足。1.验证混合模型时,需要使用2种完全不同的方法,这不利于验证的自动化实现,2.混合模型中的转移模型部分与语言模型部分联系较弱,在验证中其相互影响得不到充分体现;本文叙述了复合模型的构成,与混合模型之间的转换,及其分析方法。