Handling unbounded loops with ESBMC 1.20 (competition contribution).
Please help populate SUNScholar with the full text of SU research output. Also - should you need this item urgently, please snd us the details and we will try to get hold of the full text as quick possible. E-mail to firstname.lastname@example.org. Thank you.