Program gpdb_verify is ok. Documentation, tests, and valgrind checks have to be completed.