Handling unbounded loops with ESBMC 1.20 (competition contribution).
['Jeremy Morse', 'Lucas C. Cordeiro', 'D A Nicole', 'Bernd Fischer']
Handling unbounded loops with ESBMC 1.20 (competition contribution).