Bei palpablen oder sichtbar gemachten Rezidiven oder Metastasen sollte unbedingt eine histologische Verifizierung erfolgen.
Um die Zuverlässigkeit und Korrektheit von Programmen zu garantieren, wird eine formale Verifizierung benötigt.