Verification of infinite state systems using Presburger arithmeticTobias SchüleÉpuisé4,3Prévenez-moi