这是命令 besinfo 可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
besinfo - 显示 BES 的基本信息
概要
信息 [OPTION]……[文件]
商品描述
在 INFILE 中打印有关 BES 的基本信息。 如果 INFILE 不存在，则标准输入
用来。
配置
OPTION 可以是以下任何一种：
-f, - 满的
显示谓词变量及其签名
-iFORMAT, - 在=FORMAT
使用输入格式 FORMAT: 'pbes' PBES in 内部格式 'pbes_text' PBES in
内部文本格式 'text' PBES 文本 (mCRL2) 格式 'bes' BES 内部
格式 'bes_text' BES 内部文本格式 'cwi' BES CWI 格式 'pgsolver'
PGSolver 格式的 BES
--计时[=文件]
将计时测量附加到 FILE。 测量值写入标准误差，如果
没有提供文件
标准选项：
-q, - 安静的
不显示警告信息
-v, --详细
显示简短的中间消息
-d, -调试
显示详细的中间消息
--日志级别=LEVEL
显示达到并包括级别的中间消息
-h, - 帮帮我
显示帮助信息
- 版
显示版本信息
使用 onworks.net 服务在线使用 besinfo
