3 ms·
Formal proofs can only prove that the system matches a specification. Many (most?) non-trivial bugs are actually flaws in the specification, misunderstandings
by PeterisP 2y ago
Formal proofs can only prove that the system matches a specification.
Many (most?) non-trivial bugs are actually flaws in the specification, misunderstandings about what exactly you wanted and what real-world consequences arise from what you specified.