I have met tons of folks who have used this in practice. It tends more applied in domains where errors can be costly. E.g., this won't be that much useful in th

I have met tons of folks who have used this in practice. It tends more applied in domains where errors can be costly. E.g., this won't be that much useful in the JS/NodeJS. https://www.amazon.science/publications/how-amazon-web-services-uses-formal-methods https://www.amazon.science/publications/how-amazon-web-servi... https://link.springer.com/chapter/10.1007/978-3-642-34281-3_2 https://link.springer.com/chapter/10.1007/978-3-642-34281-3_... > They promise the ultimate holy grail of software development - release software with zero defects Thats a straw man. It is just another tool.