[jude-]

That's much easier said than done. If formal methods were practical, we'd be using them already everywhere else.