It's to do with the ability to formally reason about the code using formal methods/verification etc...