Florian Zuleger

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

New techniques enhance memory management verification in computer programs.

This article discusses the importance of regular grammars in graph structures.