これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなど、複数の無料オンライン ワークステーションのいずれかを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド lts2pbes です。
プログラム：
NAME
lts2pbes - LTS を PBES に変換します
SYNOPSIS
lts2pbes [オプション] ... [インファイル [アウトファイル]]
DESCRIPTION
INFILE の LTS を変換し、結果の PBES を OUTFILE に書き込みます。 OUTFILE でない場合
現在、標準出力が使用されます。 INFILE が存在しない場合、標準入力が使用されます。
OPTIONS
オプション 次のいずれかになります。
-DFILE, - データ=FILE
FILE をデータおよびアクション仕様として使用します。 FILE は .mcrl2 ファイルでなければなりません。
init 句が含まれていません。
-fFILE, - 方式=FILE
FILE の状態式を使用する
-lFILE, --lps=FILE
データとアクションの指定には FILE を使用します。 FILE は .lps ファイルでなければなりません。
-mFILE, --mcrl2=FILE
LTS のデータおよびアクション仕様として FILE を使用します。 ファイルは .mcrl2 でなければなりません
ファイルにソフトウェアを指定する必要があります。
-oFORMAT, - アウト=FORMAT
出力形式 FORMAT を使用します: 内部形式 'pbes_text' PBES の 'pbes' PBES
内部テキスト形式 'text' テキスト (mCRL2) 形式の PBES
-タイミング[=FILE]
タイミング測定値をFILEに追加します。 次の場合、測定値は標準誤差に書き込まれます
ファイルは提供されません
標準オプション：
-q, - 静かな
警告メッセージを表示しない
-v, -詳細
短い中間メッセージを表示する
-d, - デバッグ
詳細な中間メッセージを表示する
-ログレベル=LEVEL
レベルまでの中間メッセージを表示する
-h, - 助けて
ヘルプ情報を表示する
- バージョン
バージョン情報を表示する
onworks.net サービスを使用してオンラインで lts2pbes を使用する
