# content
StarMalloc: verified memory allocator (via indolering) — discussion

#compsci #formalmethods #security