“And then showing the function matches that specification…” — The Pragmatic Engineer at 19:30
“And then showing the function matches that specification is the verification. What I'm asking is can we use mathematics to show that it works not just for the cases that you asked for, but every single possible list you pass in.”
0:00
1:23:42