MoCHi: Model Checker for Higher-Order Programs

Fair Non-Termination Mode

Disproving fair termination by MoCHi. (see our ICFP16 paper for details)
The benchmark set used in our paper is available here.