これは 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。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
同時実行ワークベンチ NC
Ad
DESCRIPTION
Concurrency Workbench of the New Century (CWB-NC) は、同時ソフトウェア システムの自動検証のサポートを提供します。 このツールを使用すると、ユーザーはいくつかの設計言語 (CCS、CSP、LOTOS、PCCS、SCCS、TCCS) のいずれかでシステムの記述を作成できます。 さらに、システムが仕様に準拠しているかどうかをチェックするための、さまざまな自動検証および分析手法もサポートしています。検証および分析手法には次のようなものがあります。
- 行動関係に基づく検証
- 時相論理ベースの検証
- インタラクティブなシミュレーション
- 到達可能性分析
これは、https://sourceforge.net/projects/cwb-nc/ から取得できるアプリケーションです。 無料のオペレーティング システムの XNUMX つから最も簡単な方法でオンラインで実行できるように、OnWorks でホストされています。
