PAT——一种高性能软件验证工具

【文件属性】：

文件名称：PAT——一种高性能软件验证工具

文件大小：10.53MB

文件格式：ZIP

更新时间：2018-06-23 14:15:40

PAT CSP 通信顺序进程

通信顺序进程（communicating sequential proces）验证软件，打开csp格式文件的软件，对开发的软件进行验证的高性能工具。