这是名为 Concurrency Workbench NC 的 Linux 应用程序，其最新版本可作为 cwb-nc.zip 下载。 它可以在工作站的免费托管服务提供商 OnWorks 中在线运行。
免费下载并在线运行这个名为 Concurrency Workbench NC with OnWorks 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序，安装并运行。
并发工作台 NC
Ad
商品描述
新世纪并发工作台 (CWB-NC) 为并发软件系统的自动验证提供支持。 该工具允许用户使用多种设计语言（CCS、CSP、LOTOS、PCCS、SCCS、TCCS）中的一种编写手头系统的描述。 此外，它还支持各种自动验证和分析技术，以检查系统是否符合其规范。验证和分析技术包括：
- 基于行为关系的验证
- 基于时间逻辑的验证
- 交互式模拟
- 可达性分析
这是一个也可以从 https://sourceforge.net/projects/cwb-nc/ 获取的应用程序。 它已托管在 OnWorks 中，以便从我们的免费操作系统之一以最简单的方式在线运行。
