You might regard unit tests and formal proof to be opposite ends of the same scale with model driven testing being somewhere in between. One may be well advise

You might regard unit tests and formal proof to be opposite ends of the same scale with model driven testing being somewhere in between. One may be well advised to pick according to what you need. Formally proving the behaviour of your whole web app would likely take you an order of magnitude longer to write.