Checking via Static Analysis and Testing -- TaPAS: The Talence Presburger Arithmetic