|
|
|
|
|
|
by Yoric
191 days ago
|
|
|
I'm speaking of verification, which is about making code (provably) airtight with respect to specifications, now and forever. You're answering with finding bugs, which is about fixing one issue at a time. Both are useful, but we're not speaking of the same scale. |
|
|