Re:Formal Verification Creates Hacker-Proof Code (2016)
by lmm on Monday April 27, 2020 @09:08PM
(#23002205)
But you have access to everything at every stage. There's no need to figure out what the data is or how it got that way - the hard part of debugging - because there is no data, no state, no user input. It's more like fixing a compilation error than debugging.
[ Parent
| on HN ]
There are no comments on this comment yet.