Not an expert but I've heard formal methods are used in Chip Design. Also https://compcert.org/ https://compcert.org/ a c compiler which uses formal verifcation

Not an expert but I've heard formal methods are used in Chip Design. Also https://compcert.org/ https://compcert.org/ a c compiler which uses formal verifcation. I tried some exercises in the series. Its pretty interesting thing to do (but very difficult to master), but yes I don't think its great for rapid software development. On the other hand for very very critical infrastructure or the case where you need your code to be right from the start (chip design, security protocols, etc.) it makes sense.