Adam是一款完备的命令行工具，内置了针对分布式系统的模型检查器和合成器功能，并且涵盖了相关模块

Adam-分析分布式异步模型 一个命令行工具，用于对以Petri网为模型的异步分布式系统进行模型检查，并针对Flow-LTL和Flow-CTL进行过渡，以及用于以Petri游戏为模型的具有过渡的综合异步分布式系统的综合。 它结合了工具和 。 检出所有子模块 为了编译该工具，您必须使用所有子模块检出Adam： git clone --recursive git@github.com:adamtool/adam.git 如果您已经克隆了没有--recursive参数的存储库，则必须首先执行 git submodule update --init 从其他adam存储库中获取所有依赖项代码。 如何建造 一些算法取决于外部库或工具。 要正确找到它们，请在主文件夹中创建一个文件 touch ADAM.properties 并添加必要的库或工具的绝对路径： libraryF