Text this: Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes