文件名称：verigraph：基于图形重写的软件规范和验证系统
文件大小：623KB
文件格式：ZIP
更新时间：2024-02-24 20:59:40
haskell graph verification category-theory graph-grammars
Verigraph 基于图形重写的软件规范和验证工具。 讲解 版的每个稳定版本都提供了深入的“操作方法”教程。 快速开始 通过堆栈安装 首先，您必须确保stack在1.6.0或更高版本中。 您可以使用以下命令检查stack版本： $ stack --version 如果堆栈版本较旧，则可以通过运行以下命令进行升级： $ stack upgrade $ echo " export PATH=~/.local/bin: ${PATH} " >> ~ /.bashrc $ source ~ /.bashrc 您可以删除以前安装的堆栈软件包。 克隆此存储库后，请运行以下命令安装