> But formal validation can still work some of the time with the right people, on the right scale and kind of project, with the right amount of resources/time e

> But formal validation can still work some of the time with the right people, on the right scale and kind of project, with the right amount of resources/time expended. The problem is, it’s unclear exactly what those situations are or even should be. That lack of clarity causes us to fail to recognize when we could have applied these methods and so we just don’t. As much as I see value in formal methods, I’ve never worked with a team that has employed them. And I don’t think I’m at all unique in that.