Ask HN: Why don't you use formal methods?
Some specific questions I'd be really interested in hearing answers to:
* Have you ever used formal methods outside of your professional life (e.g. in personal projects, in a previous academic career)? If so, what methods did you use, and what did you use them for?
* Do you think your professional work would benefit at all from the use of formal methods? Why/why not?
* Have you ever used formal methods in your professional work? If so, what methods did you use, and what did you use them for?
* If you have never used formal methods, do you perceive a significant barrier that prevents you from using them (applicability issues aside)? If you have used formal methods, do you see issues which prevent widespread adoption?
(I mean you specifically; I've read some of the many articles which give varying explanations on why formal methods have never taken off in the mainstream.)