これは tlaplus という名前の Linux アプリで、最新リリースは tla2tools.jar としてダウンロードできます。 ワークステーション用の無料ホスティング プロバイダー OnWorks でオンラインで実行できます。
OnWorks を使用して tlaplus という名前のこのアプリをオンラインで無料でダウンロードして実行します。
このアプリを実行するには、次の手順に従ってください。
-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。アプリケーションをダウンロードし、インストールして実行します。
スクリーンショットは
Ad
トラプラス
DESCRIPTION
TLC は、TLA+ で記述された仕様の明示的な状態モデル チェッカーです。 TLA+Toolbox は、TLA+ 用の IDE です。 TLA+ は、プログラムとシステム、特に同時実行および分散システムをモデリングするための高級言語です。 これは、物事を正確に記述する最良の方法は単純な数学を使用することであるという考えに基づいています。 TLA+ とそのツールは、発見が難しく、コード内で修正するにはコストがかかる基本的な設計エラーを排除するのに役立ちます。
特徴
- TLC について TLC は明示的状態モデル チェッカーです
- TLA+で書かれた仕様の場合
- TLA+Toolbox は TLA+ 用の IDE です。
- TLA+ は、プログラムとシステムをモデリングするための高級言語です。
- TLA+ とそのツールは、基本的な設計エラーを排除するのに役立ちます
プログラミング言語
Java
カテゴリー
これは https://sourceforge.net/projects/tlaplus.mirror/ から取得できるアプリケーションです。 無料のオペレーティング システムの XNUMX つから最も簡単な方法でオンラインで実行できるように、OnWorks でホストされています。
