Per visualizzare il file, fai click su questo link: symbolic_execution_intro.pdf