  The verified computing with assistance of computers has proved to be a
promising approach to investigate the solution existence to nonlinear equation
systems. In this paper, the latest progress about the solution verification for
the stationary Navier--Stokes equation over a non-convex 3D domain is reported.
