Dijkstra once famously said :
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.
 Edsger W. Dijkstra, Notes On Structured Programming, EWD249, page 7, August 1969
Favorite OP3: Giuliano's OP