  In this paper we present a new verification theorem for optimal stopping
problems for Hunt processes. The approach is based on the Fukushima-Dynkin
formula, and its advantage is that it allows us to verify that a given function
is the value function without using the viscosity solution argument. Our
verification theorem works in any dimension. We illustrate our results with
some examples of optimal stopping of reflected diffusions and absorbed
diffusions.
