Verification of C Programs Via Natural Semantics and Abstract Interpretation

TitleVerification of {C} Programs Via Natural Semantics and Abstract Interpretation
Publication TypeConference Paper
Year of Publication2007
AuthorsBagnara R, Hill PM, Pescetti A, Zaffanella E
EditorTews H
Conference NameProceedings of the C/C++ Verification Workshop
Conference LocationOxford, UK
Keywordsabstract interpretation, software verification, static analysis, structured operational semantics
Refereed DesignationRefereed