An Approach for Verifying Educational Robots. - Sidney C. Nogueira; Taciana Pontual Falcão; Alexandre Mota 001; Emanuel Oliveira; Itamar Moraes; Iverson Pereira (SBMF, 2016)