这是可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行的命令检查器，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
检查器 - SPARK 证明检查器
概要
检查 [选项] [文件]
商品描述
SPARK Proof Checker 可用于放电产生的验证条件
审查员 (*.vcg)，可能由简化程序 (*.siv) 简化。 这个命令通常是
当验证条件不能被简化程序自动解除时使用。
默认情况下 检查 以交互模式运行。 它接受来自用户的命令并写入
将它们放入一个 cmd 文件（或由 -命令日志 选项）。 这个文件可以
稍后用于运行 检查 在批处理模式下（使用选项 -执行）。 此外，证明日志
写入plg文件。
配置
下面是选项的摘要。 所有选项都可以缩写为最短的
唯一前缀。
-救命 显示选项摘要。
-版
显示版本信息。
-普通 采用简单的输出样式（例如，没有日期或版本号）。
-覆盖警告
覆盖命令或证明日志文件所需的确认。
-命令日志=日志文件
指定命令日志文件的文件名。
-proof_log=PLG_文件
指定证明日志文件的文件名。
-执行=日志文件
执行先前生成的命令日志文件。
-恢复
恢复以前保存的会话。
使用 onworks.net 服务在线使用检查器
