debugging as eliminating the differences between logical theories

[gusl]

"according to my reading/understanding of the current code, phi": R |= phi

"according to the specification, phi": S |= phi

"according to the tests, phi": T |= phi

Bugs are disagreements between specification and tests, i.e. phi such that S |= phi and T |= ~phi.

Read more...

Does anyone use similar formalisms?

Comments

[dankamongmen.livejournal.com]

oh man. read dijkstra's a discipline of programming (the best programming book ever written, unless that honor goes to SICP).