KIT | KIT-Bibliothek | Impressum | Datenschutz

Automating regression verification of pointer programs by predicate abstraction

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

Open Access Logo


Download
Originalveröffentlichung
DOI: 10.1007/s10703-017-0293-8
Scopus
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
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
Nachgewiesen in Scopus
Web of Science
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page