parallel model checker