Vladimir Klebanov

Available identifiers

zbMath Open klebanov.vladimirMaRDI QIDQ470006

List of research outcomes

Publication	Date of Publication	Type
Automating regression verification of pointer programs by predicate abstraction	2018-07-16	Paper
Relational program reasoning using compiler IR	2018-03-01	Paper
Information flow in object-oriented software	2015-11-30	Paper
A dynamic logic for deductive verification of multi-threaded programs	2014-11-11	Paper
Precise quantitative information flow analysis -- a symbolic approach	2014-06-06	Paper
Verification of software product lines with delta-oriented slicing	2011-01-21	Paper

Research outcomes over time

This page was built for person: Vladimir Klebanov