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