NAVEGANDO: Formalização