2º Workshop em Métodos Formais em Desenvolvimento de Software