StarMalloc: verified memory allocator (via indolering) — discussion
#compsci #formalmethods #security
