|
|
|
Publications in Math-Net.Ru |
Citations |
|
2021 |
| 1. |
R. Sadykov, M. Mandrykin, “Complete decision procedure for the theory of bounded pointer arithmetic based on quantifier instantiation and SMT”, Proceedings of ISP RAS, 33:4 (2021), 177–194  |
1
|
|
2020 |
| 2. |
R. F. Sadykov, M. U. Mandrykin, “Verified Isabelle/HOL tactic for the theory of bounded integers based on quantifier instantiation and SMT”, Proceedings of ISP RAS, 32:2 (2020), 107–124 |
1
|
|
2017 |
| 3. |
D. V. Efremov, M. U. Mandrykin, “Formal verification of Linux kernel library functions”, Proceedings of ISP RAS, 29:6 (2017), 49–76  |
2
|
| 4. |
A. Volkov, M. Mandrykin, “Predicate abstractions memory modeling method with separation into disjoint regions”, Proceedings of ISP RAS, 29:4 (2017), 203–216 |
11
|
| 5. |
M. U. Mandrykin, V. S. Mutilin, “Survey of memory modeling methods in static verification tools”, Proceedings of ISP RAS, 29:1 (2017), 195–230 |
3
|
|
2015 |
| 6. |
M. U. Mandrykin, V. S. Mutilin, “Modeling memory with uninterpreted functions for predicate abstractions”, Proceedings of ISP RAS, 27:5 (2015), 117–142 |
1
|
| 7. |
M. U. Mandrykin, A. V. Khoroshilov, “Towards deductive verification of C programs with shared data”, Proceedings of ISP RAS, 27:4 (2015), 49–68 |
1
|
|
| Organisations |
|
| |
|
|
Contact us: