Student | Department | Title | Editor | Status | Year | |
---|---|---|---|---|---|---|
Menshchikov Maksim | Hybrid system of static analysis with proof-based verification of invariants | Korovkin Maksim Vаsilevich | No consent for publication | 2018 | ||
Menshikov Maksim | Hybrid language-independent static analysis as an element of complex programming technology | Terekhov Andrei Nikolаevich | Published | 2022 | ||
Menshchikov Maksim | Detecting race conditions in C-code by static analysis | Lepikhin Timur Аndreevich | Published | 2016 |