I love the promise of formal methods. I've been coding professionally since 1992 and to this day, I don't have a better way to get started on a software develo

I love the promise of formal methods. I've been coding professionally since 1992 and to this day, I don't have a better way to get started on a software development task than "give me the gist of what you want, I'll program something, and then we'll tweak it later". Don't get me wrong - I've spent cumulative years of my life sitting through week-long design sessions where the loudest, most opinionated people in the room argue back and forth about trivial, inconsequential details and produce 600+ page documents that no human could possibly read, but none of them have ever had any bearing on the finished product. So I like the idea of having a definite process to go through - however complex - that will result in indisputably superior software. However, even if I were to spend - what, a month? - learning TLA+, I doubt I'm persuasive enough to actually force its adoption in any organization, and there's no real evidence that companies that are actually successful are using it either.