Métodos formais para documentação de software.