0 ejecución simbólicaTécnica de verificación en la que la ejecución de un programa se simula, empleando símbolos en vez de valores para los datos de entrada, y las salidas del programa se representan como expresiones lógicas o matemáticas de dichos símbolos.1997-07-26