automated chaos verification, set-oriented numerics, discrete Conley Index, conservative dynamics, connecting orbits