As for the verification system of the FMCT, two approaches, comprehensive and focused, have been proposed and discussed extensively.
En cuanto al sistema de verificación del TCPMF, se han propuesto y examinado detenidamente dos enfoques, a saber: el enfoque general y el enfoque convergente.