Verificación Formal y Ejecución Simbólica | Con Trail Of Bits | Knoovi