O que são Métodos Formais
É muito difícil garantir a qualidade de software a partir de inspeções informais, tanto pelo tamanho do software como pela complexidade das linguagens e paradigmas de programação. Métodos Formais são “técnicas baseadas na matemática para descrever propriedades de um sistema”. São usados para a especificação, construção por refinamento e verificação de sistemas de software e [...]