Formal methods have their applications and specific use cases. It all depends on how much is at stake, economically. I suggest checking into Alloy, which is fa

Formal methods have their applications and specific use cases. It all depends on how much is at stake, economically. I suggest checking into Alloy, which is far easier to work with. It feels like writing a SQL schema, but you get bounded model checking and much more.