これは、Ubuntu Online、Fedora Online、Windowsオンラインエミュレーター、MACOSオンラインエミュレーターなどの複数の無料オンラインワークステーションのXNUMXつを使用してOnWorks無料ホスティングプロバイダーで実行できるコマンドbesinfoです。
プログラム：
NAME
besinfo-BESに関する基本情報を表示します
SYNOPSIS
ベスインフォ [オプション] ... [インファイル]
DESCRIPTION
BESに関する基本情報をINFILEに出力します。 INFILEが存在しない場合、標準入力
使用されている。
OPTIONS
オプション 次のいずれかになります。
-f, - 満杯
述語変数とそのシグネチャを表示します
-iFORMAT, - の=FORMAT
入力形式を使用するFORMAT： 'pbes'内部形式のPBES'pbes_text 'PBES in
内部テキスト形式 'テキスト'テキスト（mCRL2）形式のPBES 'bes'内部のBES
形式 'bes_text'内部テキスト形式のBES'cwi'CWI形式のBES'pgsolver '
PGSolver形式のBES
-タイミング[=FILE]
タイミング測定値をFILEに追加します。 次の場合、測定値は標準誤差に書き込まれます
ファイルは提供されません
標準オプション：
-q, - 静かな
警告メッセージを表示しない
-v, -詳細
短い中間メッセージを表示する
-d, - デバッグ
詳細な中間メッセージを表示する
-ログレベル=LEVEL
レベルまでの中間メッセージを表示する
-h, - 助けて
ヘルプ情報を表示する
- バージョン
バージョン情報を表示する
onworks.netサービスを使用してオンラインでbesinfoを使用する
