Update model checker