麻糬

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