Comment by lhousa

I know it's just a google away but instead of sieving through all the resources out there can someone just ELI5

- where formal methods is actually used?

- is it a very specialised area of study?

- why is it needed?

- is it worth learning as a normal SWE?