これは、Event-B Generic Instantiation という名前の Linux アプリで、最新リリースは com.hitachi.geninst_1.1.1.zip としてダウンロードできます。 ワークステーション用の無料ホスティング プロバイダー OnWorks でオンラインで実行できます。
Event-B Generic Instantiation 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。アプリケーションをダウンロードし、インストールして実行します。
イベント B の汎用インスタンス化
Ad
DESCRIPTION
Generic Instantiation ツールは、RODIN プラットフォームのプラグインとして Event-B 用に HITACHI と ETHZ によって開発されました。
このツールの主な機能は次のとおりです。
- 汎用インスタンス化に関する情報を保存するための汎用インスタンス化ファイル。
- 汎用インスタンス化ファイルを作成するためのウィザード。
- 汎用インスタンス化ファイルのエディター。
- 汎用インスタンス化ファイルの静的チェッカー。
- ソース プロジェクトと汎用インスタンス化ファイルに基づいて新しいプロジェクトを作成することにより、汎用インスタンス化を実行します。
これは https://sourceforge.net/projects/gen-inst/ から取得することもできるアプリケーションです。 無料のオペレーティング システムの XNUMX つから最も簡単な方法でオンラインで実行できるように、OnWorks でホストされています。
