Neste artigo apresentamos primeiramente uma análise de alguns modelos teóricos que tratam da validação matemática, buscando identificar interfaces e complementações entre eles, centrando na resolução de problemas de Polya, Teoria das Situações Didáticas de Brousseau, modelo de provas de Balacheff e numa parte da Teoria Antropológica do Didático de Chevallard, caracterizada como tecnologia. Outro objetivo deste artigo é, com base nesses aportes teóricos, apresentar uma sinopse de trabalhos de pesquisa, com alunos da educação básica, nos quais foram analisadas produções, bem como dificuldades deles diante de problemas envolvendo validação matemática.  Nas experimentações realizadas foi observado que os alunos se envolvem em processos de validação, tornando possível analisar dificuldades, conceitos mobilizados, bem como indícios de aprendizagens, tanto no que se refere ao discurso matemático quanto ao nível de validação que apresentam.