ESBMC 1.22 - ePrints Soton

Morse, Jeremy, Ramalho Gadelha, Mikhail, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2014) ESBMC 1.22. In, Ábrahám, Erika and Havelund, Klaus (eds.) Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. (Lecture Notes in Computer Science, 8413) 20th International Conference, TACAS 2014 (03/04/14 - 13/04/14) Springer, pp. 405-407. (doi:10.1007/978-3-642-54862-8).

Record type: Book Section

Abstract

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

Text

denis.pdf - Version of Record

Restricted to Repository staff only

Request a copy

More information

Published date: 2014

Venue - Dates: 20th International Conference, TACAS 2014, Grenoble, France, 2014-04-03 - 2014-04-13

Organisations: Faculty of Physical Sciences and Engineering

Identifiers

Local EPrints ID: 403798

URI: http://eprints.soton.ac.uk/id/eprint/403798

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

ISSN: 0302-9743

PURE UUID: fa711e33-7a3d-41da-acbc-da25a264f753

Catalogue record

Date deposited: 12 Dec 2016 12:08

Last modified: 15 Mar 2024 03:51

Export record

Altmetrics

Share this record

Share this on Facebook Share this on Twitter Share this on Weibo

Contributors

Author: Jeremy Morse

Author: Mikhail Ramalho Gadelha

Author: Lucas Cordeiro

Author: Denis Nicole

Author: Bernd Fischer

Editor: Erika Ábrahám

Editor: Klaus Havelund

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

Library staff additional information