ESBMC 1.22: (Competition contribution)

J. Morse; M. Ramalho; L. Cordeiro; D. Nicole; B. Fischer

doi:10.1007/978-3-642-54862-8_31

ESBMC 1.22: (Competition contribution)

J. Morse
, M. Ramalho
, L. Cordeiro
, D. Nicole
, B. Fischer

Systems and Software Security

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

Abstract

We have implemented an improved memory model for ESBMC which better takes into account C’s memory alignment rules and optimizes the generated SMT formulae. This simultaneously improves ESBMC’s precision and performance.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication	(TACAS 2014)
Editors	Erika Ábrahám , Klaus Havelund
Publisher	Springer Berlin
Pages	405-407
Number of pages	3
ISBN (Print)	9783642548611
DOIs	https://doi.org/10.1007/978-3-642-54862-8_31
Publication status	Published - 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8413

Access to Document

10.1007/978-3-642-54862-8_31

Cite this

Morse, J., Ramalho, M., Cordeiro, L., Nicole, D., & Fischer, B. (2014). ESBMC 1.22: (Competition contribution). In E. Á., & K. H. (Eds.), Tools and Algorithms for the Construction and Analysis of Systems : (TACAS 2014) (pp. 405-407). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8413). Springer Berlin. https://doi.org/10.1007/978-3-642-54862-8_31

Morse, J. ; Ramalho, M. ; Cordeiro, L. et al. / ESBMC 1.22 : (Competition contribution). Tools and Algorithms for the Construction and Analysis of Systems : (TACAS 2014). editor / Erika Ábrahám ; Klaus Havelund. Springer Berlin, 2014. pp. 405-407 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{349e43a8c5fd48c79d7a9f60892a7d49,

title = "ESBMC 1.22: (Competition contribution)",

abstract = "We have implemented an improved memory model for ESBMC which better takes into account C{\textquoteright}s memory alignment rules and optimizes the generated SMT formulae. This simultaneously improves ESBMC{\textquoteright}s precision and performance.",

author = "J. Morse and M. Ramalho and L. Cordeiro and D. Nicole and B. Fischer",

year = "2014",

doi = "10.1007/978-3-642-54862-8\_31",

language = "English",

isbn = "9783642548611",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Berlin",

pages = "405--407",

editor = "\{Erika {\'A}brah{\'a}m\} and \{Klaus Havelund\}",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

address = "Germany",

}

Morse, J, Ramalho, M, Cordeiro, L, Nicole, D & Fischer, B 2014, ESBMC 1.22: (Competition contribution). in EÁ & KH (eds), Tools and Algorithms for the Construction and Analysis of Systems : (TACAS 2014). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8413, Springer Berlin, pp. 405-407. https://doi.org/10.1007/978-3-642-54862-8_31

ESBMC 1.22: (Competition contribution). / Morse, J.; Ramalho, M.; Cordeiro, L. et al.
Tools and Algorithms for the Construction and Analysis of Systems : (TACAS 2014). ed. / Erika Ábrahám; Klaus Havelund. Springer Berlin, 2014. p. 405-407 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8413).

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

TY - GEN

T1 - ESBMC 1.22

T2 - (Competition contribution)

AU - Morse, J.

AU - Ramalho, M.

AU - Cordeiro, L.

AU - Nicole, D.

AU - Fischer, B.

PY - 2014

Y1 - 2014

N2 - We have implemented an improved memory model for ESBMC which better takes into account C’s memory alignment rules and optimizes the generated SMT formulae. This simultaneously improves ESBMC’s precision and performance.

AB - We have implemented an improved memory model for ESBMC which better takes into account C’s memory alignment rules and optimizes the generated SMT formulae. This simultaneously improves ESBMC’s precision and performance.

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

U2 - 10.1007/978-3-642-54862-8_31

DO - 10.1007/978-3-642-54862-8_31

M3 - Conference contribution

SN - 9783642548611

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 405

EP - 407

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - , Erika Ábrahám

A2 - , Klaus Havelund

PB - Springer Berlin

ER -

Morse J, Ramalho M, Cordeiro L, Nicole D, Fischer B. ESBMC 1.22: (Competition contribution). In EÁ, KH, editors, Tools and Algorithms for the Construction and Analysis of Systems : (TACAS 2014). Springer Berlin. 2014. p. 405-407. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-54862-8_31

ESBMC 1.22: (Competition contribution)

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this