Comment by rramadass

To me, this is his most important contribution; Everybody else built on top of this.

Hoare Logic - https://en.wikipedia.org/wiki/Hoare_logic