“…Intuitively, acceleration techniques consist in computing symbolically the effect of iterating cycles of the system. Those techniques were studied for several models: systems with FIFO channels [11,15,16,10,9], time [3,2,12,13], other data structures [17], and systems manipulating counters including the VASS model [14,27,8,5,4,6,18,19].…”