Graduation Projects
| Student | Department | Title | Editor | Status | Year | |
|---|---|---|---|---|---|---|
| Menshchikov Maksim | Detecting race conditions in C-code by static analysis | Lepikhin Timur Аndreevich | Published | 2016 | ||
| 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 |
Showing 1-3 of 3 items.