Formell verifisering er ikke noe magisk trylledust man kan strø over kode. Forfatterne undersøker hvordan man kan avdekke tilfeller der et verifiseringsverktøy unnlater å varsle om reelle feil.

Kilde: https://blog.regehr.org/archives/2124