Dijkstra once famously said [1]:

Program testing can be used to show the presence of bugs, but never to show their absence.

In light of what you've read today – King's symbolic execution idea and symbolic model checking – do you think Dijkstra was right? Choose between "yes" and "no," then argue why you believe that. No middle-of-the-road answers, please. Take a clear stance and construct the strongest possible argument to support it, even if you don't fully believe it.

[1] Edsger W. Dijkstra, Notes On Structured Programming, EWD249, page 7, August 1969

---

Favorite OP3: Giuliano's OP