Im Endeffekt wird die formale Verifikation zu billig sein, um sie zu messen.