CCD_RBD

【文件属性】：

文件名称：CCD_RBD

文件大小：47KB

文件格式：ZIP

更新时间：2024-04-16 23:36:28

StandardML

HOL中基于RBD的因果分析的形式化 CCD_RBD HOL定理和数学公式目前仅支持Linux用户 “ -----------------------------在Linux中安装HOL ---------------- -----------------------------------“ 1-确保正确安装了GCC编译器，否则请打开终端并使用以下命令。 sudo apt-get更新sudo apt-get安装build-essential 2-下载PolyML 5.7（下载链接： ://osdn.net/frs/g_redir.php?m=kent&f=polyml/polyml/5.7/polyml-5.7.ta​​r.gz）。 将软件包解压缩到您选择的任何目录中。 3-打开终端，并使用cd命令进入程序包目录。 例如Abdelghany @ ubuntu：〜cd

【文件预览】：
CCD_RBD-main
----RBD.sml(144KB)
----FTree.sml(55KB)
----README.md(3KB)
----ETree.sml(135KB)