I gränsen kommer formell verifiering att vara för billig för att mäta