Concepedia

Mikhail Mandrykin

MM

Statistics

Publications

6

Citations

99

H-Index

6

Active since

2012

Affiliations

Institute for System Programming(Current)

Mikhail Mandrykin is an author at Institute for System Programming specializing in formal methods, computer engineering, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware VerificationSystem Software

Publications per year

2012–2018

6

Publications

6

Configurable toolset for static verification of operating systems kernel modules

Ilja Zakharov, Mikhail Mandrykin, Vadim Mutilin et al. · Programming and Computer Software · 2015 · 33 citations

Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions

Anton Volkov, Mikhail Mandrykin · Proceedings of the Institute for System Programming of RAS · 2017 · 15 citations · Full text

Program Checking, Engineering, Verification +26

Lemma Functions for Frama-C: C Programs as Proofs

Grigoriy Volkov, Mikhail Mandrykin, Denis Efremov · 2018 · 15 citations

Lemma Functions Method, Engineering, Verification +18

Using linux device drivers for static verification tools benchmarking

Mikhail Mandrykin, Vadim Mutilin, Evgeny Novikov et al. · Programming and Computer Software · 2012 · 14 citations

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

Mikhail Mandrykin, Alexey Khoroshilov · Programming and Computer Software · 2015 · 11 citations

1–5 of 6