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)

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 Dimensions
Web of Science
Scopus

Download
Originalveröffentlichung
DOI: 10.1007/s10703-017-0293-8
Scopus
Zitationen: 7
Web of Science
Zitationen: 6
Dimensions
Zitationen: 7
Seitenaufrufe: 71
seit 04.05.2018
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page