Projeto da cadeira de Métodos Formais para modelagem de um software para banco utilizando a linguagem Z.