To prove the absence of these more-general-than-types defects, other kinds of formal methods, collectively known as program analyses, are in common use.
Да би се доказало одсуство ових више-генералних-него-куцаних дефекта, других типова формалних метода, колективно познатих као програмске анализе, се често користе.