Approximations for verifying timing properties