Tomáš Vojnar

Two new methods enhance shape analysis for better memory safety in software.

New techniques enhance memory management verification in computer programs.

A tool for analyzing memory issues in C code.

Early validation prevents costly errors in systems like healthcare devices.