Hacker-Proof Code Confirmed
I don&#x27;t get the idea of a formal method. You&#x27;re attempting to prevent bugs in code by writing code that describes the final product. In any reasonably complex system the descriptions will be large, complex, and bug prone. How is a &quot;formal method&quot; any better then one of the following:<p><pre><code>   - Unit testing: Provide every test case possible
   - Pure Functions: Use small methods that cannot error and always return sane values
   - Fuzzing Testing: To find if the implementation is actually correct or if it is correct by chance
</code></pre>
What is the benefit of a formal method? It&#x27;s just inconceivable for me to see &quot;Hacker-Proof code&quot; and not laugh at whoever wrote this.