Hi, here is a patch to add cubicle, a model checker.