Diploma Thesis Automatic Case Analysis for Improving Path Sensitivity in Frama-c

Abstract

Erklärung Hiermit erkläre ich, dass ich die vorliegende Diplomarbeit selbstständig durchgeführt und keine anderen als die angegebenen Quellen und Hilfsmittel benutzt habe.

22 Figures and Tables

Cite this paper

@inproceedings{Mattsen2013DiplomaTA, title={Diploma Thesis Automatic Case Analysis for Improving Path Sensitivity in Frama-c}, author={Sven Mattsen}, year={2013} }