Re:Formal Verification Creates Hacker-Proof Code (2016)
by bluGill on Saturday April 25, 2020 @09:42PM
(#22983494)
When the rate of bugs coming in from test goes below some threshold that your boss is comfortable with.
Note that formal methods don't get around this as they do nothing for the class of bugs where it works as specified but now that we see it in operation we know the specification was wrong. (once the spec is right though it is faster)
Note that formal methods don't get around this as they do nothing for the class of bugs where it works as specified but now that we see it in operation we know the specification was wrong. (once the spec is right though it is faster)