Mikhail U. Mandrykin

15 papers A 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic.
Program. Comput. Softw.
R. F. Sadykov, Mikhail U. Mandrykin
2018 — conf
CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution).
TACAS (2)
Pavel S. Andrianov, Vadim S. Mutilin, Mikhail U. Mandrykin, Anton A. Vasilyev
2018 — conf
Deductive Verification of Unmodified Linux Kernel Library Functions.
ISoLA (2)
Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov
2018 J jnl
Deductive Verification of Unmodified Linux Kernel Library Functions.
CoRR
Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov
2018 J jnl
Lemma Functions for Frama-C: C Programs as Proofs.
CoRR
Grigoriy Volkov, Mikhail U. Mandrykin, Denis Efremov
2017 — conf
A Memory Model for Deductively Verifying Linux Kernel Modules.
Ershov Informatics Conference
Mikhail U. Mandrykin, Alexey V. Khoroshilov
2017 — conf
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution).
TACAS (2)
Pavel S. Andrianov, Karlheinz Friedberger, Mikhail U. Mandrykin, Vadim S. Mutilin, Anton Volkov
2016 J jnl
Region analysis for deductive verification of C programs.
Program. Comput. Softw.
Mikhail U. Mandrykin, Alexey V. Khoroshilov
2016 J jnl
Towards deductive verification of C programs with shared data.
Program. Comput. Softw.
Mikhail U. Mandrykin, Alexey V. Khoroshilov
2015 J jnl
Configurable toolset for static verification of operating systems kernel modules.
Program. Comput. Softw.
Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov
2015 J jnl
High-level memory model with low-level pointer cast support for Jessie intermediate language.
Program. Comput. Softw.
Mikhail U. Mandrykin, Alexey V. Khoroshilov
2014 A conf
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution).
TACAS
Stefan Löwe, Mikhail U. Mandrykin, Philipp Wendler
2012 J jnl
Experience of improving the blast static verification tool.
Program. Comput. Softw.
Pavel Shved, Vadim S. Mutilin, Mikhail U. Mandrykin
2012 A conf
Predicate Analysis with BLAST 2.7 - (Competition Contribution).
TACAS
Pavel Shved, Mikhail U. Mandrykin, Vadim S. Mutilin
2012 J jnl
Using linux device drivers for static verification tools benchmarking.
Program. Comput. Softw.
Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexey V. Khoroshilov, Pavel Shved