Verigraph 基于图形重写的软件规范和验证工具。 讲解 版的每个稳定版本都提供了深入的“操作方法”教程。 快速开始 通过堆栈安装 首先，您必须确保stack在1.6.0或更高版本中。 您可以使用以下命令检查stack版本： $ stack --version 如果堆栈版本较旧，则可以通过运行以下命令进行升级： $ stack upgrade $ echo " export PATH=~/.local/bin: ${PATH} " >> ~ /.bashrc