Este video explica qué es la ejecución simbólica de programas de ordenador. Utiliza diferentes ejemplos para mostrar su utilidad.