Verifikationstyper