《表1 几种主流验证工具的对比》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《网络系统实时性模型的验证方法综述》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

框架分为四层，方便了模块的扩展，建模验证过程分为三步:编译、抽象和验证。PAT工具具有良好的扩展性，因此可以利用建模层的抽象功能对建模语言进行抽象，避免状态爆炸。扩展PAT的并行模块可以方便网络系统的实时性的建模与验证。抽象后的语言模块能够自动转化为P A T已经支持的语言，从而简化系统描述和实现过程，使得建模过程更人性化、更易使用。借助PAT工具良好的扩展性，可方便对网络系统进行实时性建模。