ABS Certificate for Hull Gauging