It&#x27;s another thing that can go wrong. That&#x27;s definitely true. The good news is that they sort of complement each other: errors in one help you spot errors in the other. Plus, picking the right one makes spotting problems visually much easier.<p>Thing is, almost all the problems in systems have happened due to coding and interface problems. Especially hidden assumptions. Formal verification and static analysis are great at dealing with that. They prevent and catch many more problems than they introduce despite problems occurring in specs or proofs. It&#x27;s like a combo of a numbers game and applying proven principles.<p>Hope that makes sense.