The Reachability of Computer Programs. - Reginaldo Inojosa da Silva Filho; Ricardo Luis de Azevedo da Rocha; Camila Leite da Silva; Ricardo H. Gracini Guiraldelli (CoRR, 2017)