das até mesmo no nível de abstração da própria especificação UML, é comum
validar estes códigos por meio de .... nidade e pesquisadores da área de
métodos formais, é um software livre, que emprega os provadores de ..... a
função ?soma? interpreta o símbolo funcional + e os números naturais 5, 1 e 2
interpretam. 
