文件名称：cogent:有说服力的项目
文件大小：1.95MB
文件格式：ZIP
更新时间：2024-04-28 15:43:55
verification programming-languages file-systems isabelle-hol co-generation
Cogent：代码和证明共生 项目首页 有关该项目的一般背景，动机，概述和已发表的论文，请参见我们的。 在线文件 安装 指令已在Debian GNU / Linux 9.8（“ stretch”）和Ubuntu 18.04（“ bionic”）上进行了测试。 类似的发行版也可能起作用。 从Debian存储库安装依赖项。 sudo apt-get install git # git sudo apt-get install python-lxml python-psutil python-pycparser # regression tester 要安装Cogent编译器，请参阅文件了解详细信息。 Cogent框架取决于 。 如果您已经在计算机上安装了它们，则可以使用本地副本。 否则，您可以通过git submodule update --init --recursive -- isa