Projeto de Métodos Formais de Engenharia de Software - UFRN 2014.1