Mordvinov D A

Publications in Math-Net.Ru

1. “Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE
   
   Proceedings of ISP RAS, 35:3 (2023),  91–108
2. Automated testing of LLVM programs with complex input data structures
   
   Proceedings of ISP RAS, 34:4 (2022),  49–62
3. Property-directed inference of relational invariants
   
   Model. Anal. Inform. Sist., 26:4 (2019),  550–571
4. Automatic verification of heap-manipulating programs
   
   Proceedings of ISP RAS, 31:5 (2019),  37–62
5. Survey on formal methods in robotics
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2016, no. 1(236),  84–107
6. Visual dataflow language for educational robots programming
   
   Proceedings of ISP RAS, 28:2 (2016),  45–62