Hi, I have read about formal verification, and it sounds like a perfect tool to outreach the project goals. I'm pretty sure developers know about it, so I'd like to read comments or opinions.
http://en.wikipedia.org/wiki/Formal_verification Greetings.
