|
|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
| 1. |
S. A. Morozov, A. V. Misonizhnik, D. A. Mordvinov, D. V. Koznov, D. A. Ivanov, ““Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE”, Proceedings of ISP RAS, 35:3 (2023), 91–108  |
|
2022 |
| 2. |
A. V. Misonizhnik, A. A. Babushkin, S. A. Morozov, Yu. O. Kostyukov, D. A. Mordvinov, D. V. Koznov, “Automated testing of LLVM programs with complex input data structures”, Proceedings of ISP RAS, 34:4 (2022), 49–62 |
1
|
|
2019 |
| 3. |
D. A. Mordvinov, “Property-directed inference of relational invariants”, Model. Anal. Inform. Sist., 26:4 (2019), 550–571 |
| 4. |
Yu. O. Kostyukov, K. A. Batoev, D. A. Mordvinov, M. P. Kostitsyn, A. V. Misonizhnik, “Automatic verification of heap-manipulating programs”, Proceedings of ISP RAS, 31:5 (2019), 37–62 |
|
2016 |
| 5. |
D. A. Mordvinov, Yu. V. Litvinov, “Survey on formal methods in robotics”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2016, no. 1(236), 84–107 |
| 6. |
G. A. Zimin, D. A. Mordvinov, “Visual dataflow language for educational robots programming”, Proceedings of ISP RAS, 28:2 (2016), 45–62  |
|
| Organisations |
|
| |
|
|
Contact us: