Klebanov, Vladimir; Rümmer, Philipp; Ulbrich, Mattias Automating regression verification of pointer programs by predicate abstraction. (English) Zbl 1392.68146 Form. Methods Syst. Des. 52, No. 3, 229-259 (2018). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{V. Klebanov} et al., Form. Methods Syst. Des. 52, No. 3, 229--259 (2018; Zbl 1392.68146) Full Text: DOI Link
Kiefer, Moritz; Klebanov, Vladimir; Ulbrich, Mattias Relational program reasoning using compiler IR. (English) Zbl 1426.68052 J. Autom. Reasoning 60, No. 3, 337-363 (2018). MSC: 68N30 68N20 68Q60 PDFBibTeX XMLCite \textit{M. Kiefer} et al., J. Autom. Reasoning 60, No. 3, 337--363 (2018; Zbl 1426.68052) Full Text: DOI