Andris wrote:
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.
Well, just go ahead and do it. Please post your findings afterwards.
