What does "verified memory safe" mean?

(focs-lab.comp.nus.edu.sg)

1 points | by matt_d 10 hours ago ago