これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレータ、MAC OS オンライン エミュレータなどの複数の無料オンライン ワークステーションの 2 つを使用して、OnWorks の無料ホスティング プロバイダで実行できるコマンド lpsXNUMXpbes です。
プログラム:
NAME
lps2pbes - LPS と状態式から PBES を生成します
SYNOPSIS
lps2pbes [オプション]... --formula=ファイル [インファイル [アウトファイル]]
DESCRIPTION
FILE の状態式と INFILE の LPS をパラメータ化されたブール値に変換します。
方程式システム (PBES) を作成し、OUTFILE に保存します。 OUTFILE が存在しない場合は、stdout が使用されます。
INFILE が存在しない場合は、stdin が使用されます。
OPTIONS
オプション 次のいずれかになります。
-fFILE, - 方式=FILE
FILE の状態式を使用する
-oFORMAT, - アウト=FORMAT
出力形式 FORMAT を使用します: 内部形式 'pbes_text' PBES の 'pbes' PBES
内部テキスト形式 'text' テキスト (mCRL2) 形式の PBES
-s, --構造化された
論理積と論理和が混在しないように方程式を生成する
-t, --時限式
時間制限されていない LPS の場合でも、アルゴリズムの時間制限付きバージョンを使用します。
-タイミング[=FILE]
タイミング測定値をFILEに追加します。 次の場合、測定値は標準誤差に書き込まれます
ファイルは提供されません
-u, -- 最適化されていない
ブール式を単純化しないでください
標準オプション:
-q, - 静かな
警告メッセージを表示しない
-v, -詳細
短い中間メッセージを表示する
-d, - デバッグ
詳細な中間メッセージを表示する
-ログレベル=LEVEL
レベルまでの中間メッセージを表示する
-h, - 助けて
ヘルプ情報を表示する
- バージョン
バージョン情報を表示する
onworks.net サービスを使用してオンラインで lps2pbes を使用する