麻糬

MoCHi:高阶程序的模型检查器。MoCHi是OCaml子集的软件模型检查器。MoCHi基于高阶模型检查、谓词抽象和CEGAR(详见本文)。