KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1007/s10703-017-0293-8

Automating regression verification of pointer programs by predicate abstraction

Klebanov, Vladimir; Rümmer, Philipp; Ulbrich, Mattias



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2017
Sprache Englisch
Identifikator ISSN: 0925-9856, 1572-8102
KITopen ID: 1000074181
Erschienen in Formal methods in system design
Seiten 1-31
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page