Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution)

Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer

Research output: Chapter in Book/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Tools and algorithms for the construction and analysis of systems, TACAS 2013
Pages	619-622
Volume	7795
Publication status	Published - 2013

Name	Lecture Notes in Computer Science

Cite this

@inbook{d50910e83ee24df682db22602daa5912,

title = "Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution)",

author = "Jeremy Morse and Lucas Cordeiro and Denis Nicole and Bernd Fischer",

year = "2013",

language = "English",

isbn = "9783642367410",

volume = "7795",

series = "Lecture Notes in Computer Science",

pages = "619--622",

booktitle = "Tools and algorithms for the construction and analysis of systems, TACAS 2013",

}

TY - CHAP

T1 - Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution)

AU - Morse, Jeremy

AU - Cordeiro, Lucas

AU - Nicole, Denis

AU - Fischer, Bernd

PY - 2013

Y1 - 2013

UR - https://www.scopus.com/pages/publications/84874445094

M3 - Chapter

SN - 9783642367410

VL - 7795

T3 - Lecture Notes in Computer Science

SP - 619

EP - 622

BT - Tools and algorithms for the construction and analysis of systems, TACAS 2013

ER -