update correctness verification