> But under the covers, all formal verification schemes are (imho) best viewed as "very fancy testing".

This is misleading. Testing and formal verification are vastly different.