RUS
ENG
Full version
PEOPLE
Misonizhnik Alexander Vladimirovich
Publications in Math-Net.Ru
“Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE
Proceedings of ISP RAS
,
35
:3 (2023),
91–108
Automated testing of LLVM programs with complex input data structures
Proceedings of ISP RAS
,
34
:4 (2022),
49–62
Automatic verification of heap-manipulating programs
Proceedings of ISP RAS
,
31
:5 (2019),
37–62
©
Steklov Math. Inst. of RAS
, 2024