ivy:IVy 是一种研究工具，旨在允许协议及其正确性证明的交互式开发，并为开发和试验自动化证明技术提供平台。 特别是，IVy ...

常春藤 从 2020 年 9 月 5 日开始，Ivy 开发将转移到 。 IVy 是一种研究工具，旨在允许协议及其正确性证明的交互式开发，并为开发和试验自动化证明技术提供平台。 特别是，IVy 提供了自动化证明的交互式可视化，并支持人类协议设计者和自动化工具交互以暴露错误并证明正确性的使用模型。 安装 Linux 在基于 Debian 的 Linux 发行版（例如 Ubuntu）上，下载并安装文件ms-ivy_X.X_YYYY.deb ，其中XX是 IVy 版本， YYYY是机器架构。 使用系统的包管理器安装此包，或使用以下命令： $ sudo dpkg -i ms-ivy_X.X_YYYY.deb $ sudo apt-get install -f 第一个命令将报告丢失的依赖项，第二个命令将安装这些依赖项。 视窗 Windows 二进制分发版采用 zip 存档的形式。 下载文件iv