Text this: Verificação de propriedades em redes neuronais