ESBMC 5.0: An Industrial-Strength C Model Checker

ESBMC is a mature, permissively licensed open-source context-bounded model checker for the verification of single- and multithreaded C programs. It can verify both predefined safety properties (e.g., bounds check, pointer safety, overflow) and user-defined program assertions automatically. ESBMC pro...

Full description

Bibliographic Details

Published in:	2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 888 - 891
Main Authors:	Gadelha, Mikhail R., Monteiro, Felipe R., Morse, Jeremy, Cordeiro, Lucas C., Fischer, Bernd, Nicole, Denis A.
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.09.2018
Subjects:	Bug detection Computer bugs Context modeling Data structures Inspection k -induction Model checking Python Safety Software Software algorithms Software engineering Software model checking
ISSN:	2643-1572
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!