Does Jonathan Bowen believe all software needs formal verification?
While I advocate for the rigor that formal methods bring, especially in safety-critical or high-assurance systems, it is not always practical or necessary for every piece of software. The decision to employ formal methods depends on the complexity of the system, the acceptable level of risk, and the resources available. My work aims to demonstrate the power and applicability of these techniques where they are most impactful.
Ask Jonathan Bowen the follow-up →