The comparison is between a model and a software implementation, not with a model of the software. The point being that there are tools for helping with the implementation but not with the model.

Also, evolution selects for robust code.