Hofstadter’s Law: It always takes longer than you expect, even when you take into account Hofstadter’s Law.

Formal verification of safety-critical software, software development, and electronic design and prototyping. See http://www.eschertech.com. Please do not ask for unpaid help via PM, use the forum.