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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) S. 888 - 891
Hauptverfasser:	Gadelha, Mikhail R., Monteiro, Felipe R., Morse, Jeremy, Cordeiro, Lucas C., Fischer, Bernd, Nicole, Denis A.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 01.09.2018
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!