I'll definitely give this a look.

I've been making posts every time this comes up and no one has been able to answer, or even quantify, what 'formal methods' where. The last time someone tried to sell me on them was accompanied by the pitch that "it means that your code proves itself that it's correct and that you will never have a bug ever"

Naturally I laughed at that as I can see someone peddling bullshit when I see it.

Do you mind if I email you about this powerpoint after giving it a look?