KIT | KIT-Bibliothek | Impressum | Datenschutz

Automating regression verification of pointer programs by predicate abstraction

Klebanov, Vladimir 1; Rümmer, Philipp; Ulbrich, Mattias ORCID iD icon 1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1007/s10703-017-0293-8
Scopus
Zitationen: 7
Web of Science
Zitationen: 5
Dimensions
Zitationen: 7
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2017
Sprache Englisch
Identifikator ISSN: 0925-9856, 1572-8102
KITopen-ID: 1000074181
Erschienen in Formal methods in system design
Verlag Springer
Seiten 1-31
Nachgewiesen in Scopus
Web of Science
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page