The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties