Esta verificación formal incluye la verificación deductiva, la interpretación abstracta, la demostración automática de teoremas, etc.