Trajectory based verification using local finite-time invariance