Automating regression verification of pointer programs by predicate abstraction
Klebanov, Vladimir 1; Rümmer, Philipp; Ulbrich, Mattias
1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
11 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 Scopus Web of Science |