Abstract
This paper presents a numerical verification method for global bifurcation branches of the stationary solutions to dissipative partial differential equations. The key idea is combining verification method based on the Conley Index Theory with a branch chasing algorithm. In this paper, the verification algorithm is described in detail by taking the Swift-Hohenberg equation as an example. Some of the rigorous numerical results are also shown.