The University of Southampton
University of Southampton Institutional Repository

Handling unbounded loops with ESBMC 1.20

Record type: Conference or Workshop Item (Paper)

We extended ESBMC to exploit the combination of context-bounded symbolic model checking and k-induction to prove safety properties in single- and multi-threaded ANSI-C programs with unbounded loops. We now first try to verify by induction that the safety property holds in the system. If that fails, we search for a bounded reachable state that constitutes a counterexample.

Full text not available from this repository.


Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd, (2013) Handling unbounded loops with ESBMC 1.20 Piterman, Nir and Smolka, Scott A. (eds.) In Tools and Algorithms for the Construction and Analysis of Systems. 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. vol. 7795, Springer., pp. 619-622. (doi:10.1007/978-3-642-36742-7_47).

More information

Published date: 2013
Organisations: Electronics & Computer Science


Local EPrints ID: 354724
ISBN: 978-3-642-36741-0
ISSN: 0302-9743
PURE UUID: 82459401-464f-4148-ba49-ea61c03621e8

Catalogue record

Date deposited: 18 Jul 2013 09:21
Last modified: 18 Jul 2017 03:53

Export record



Author: Jeremy Morse
Author: Lucas Cordeiro
Author: Denis Nicole
Author: Bernd Fischer
Editor: Nir Piterman
Editor: Scott A. Smolka

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.