文件名称：sally:无限状态系统的模型检查器
文件大小：3.98MB
文件格式：ZIP
更新时间：2024-05-22 02:38:18
verification ic3 model-checker transition-systems k-induction
莎莉 Sally是描述为过渡系统的无限状态系统的模型检查器。 它是正在开发的研究软件，因此功能和输入语言可能会Swift变化。 先决条件 为了编译Sally，您将需要一个合理的c ++编译器，例如g ++或clang，cmake构建系统，GMP库，一些boost库以及一个有效的Java运行时（用于生成解析器）。 在类似Ubuntu的系统上，应包括以下内容： sudo apt-get install g++ sudo apt-get install cmake sudo apt-get install libgmp-dev sudo apt-get install libboost-program-options-dev libboost-iostreams-dev libboost-test-dev libboost-thread-dev libboost-system-dev sudo