Z3 Tutorial
I know it's just a google away but instead of sieving through all the resources out there can someone just ELI5<p>- where formal methods is actually used?<p>- is it a very specialised area of study?<p>- why is it needed?<p>- is it worth learning as a normal SWE?