Z3 Tutorial
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?