Mikhail U. Mandrykin

According to our database, Mikhail U. Mandrykin authored at least 14 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic.

R. F. Sadykov, Mikhail U. Mandrykin

Program. Comput. Softw., 2022

2018

Lemma Functions for Frama-C: C Programs as Proofs.

Grigoriy Volkov, Mikhail U. Mandrykin, Denis Efremov

CoRR, 2018

CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution).

Pavel S. Andrianov, Vadim S. Mutilin, Mikhail U. Mandrykin, Anton A. Vasilyev

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Deductive Verification of Unmodified Linux Kernel Library Functions.

Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017

CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution).

Pavel S. Andrianov, Karlheinz Friedberger, Mikhail U. Mandrykin, Vadim S. Mutilin, Anton Volkov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Memory Model for Deductively Verifying Linux Kernel Modules.

Mikhail U. Mandrykin, Alexey V. Khoroshilov

Proceedings of the Perspectives of System Informatics, 2017

2016

Towards deductive verification of C programs with shared data.

Mikhail U. Mandrykin, Alexey V. Khoroshilov

Program. Comput. Softw., 2016

Region analysis for deductive verification of C programs.

Mikhail U. Mandrykin, Alexey V. Khoroshilov

Program. Comput. Softw., 2016

2015

Configurable toolset for static verification of operating systems kernel modules.

Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov

Program. Comput. Softw., 2015

High-level memory model with low-level pointer cast support for Jessie intermediate language.

Mikhail U. Mandrykin, Alexey V. Khoroshilov

Program. Comput. Softw., 2015

2014

CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution).

Stefan Löwe, Mikhail U. Mandrykin, Philipp Wendler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2012

Experience of improving the blast static verification tool.

Pavel Shved, Vadim S. Mutilin, Mikhail U. Mandrykin

Program. Comput. Softw., 2012

Using linux device drivers for static verification tools benchmarking.

Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexey V. Khoroshilov, Pavel Shved

Program. Comput. Softw., 2012

Predicate Analysis with BLAST 2.7 - (Competition Contribution).

Pavel Shved, Mikhail U. Mandrykin, Vadim S. Mutilin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012