bn:02057451n
Noun Concept
Categories: Métodos formais
PT
verificação formal  Verifikasjon  verificabilidade  verificação do programa
PT
Verificação formal é a prova matemática da conformidade de um algoritmo a certa especificação formal ou propriedade, usando métodos formais. Wikipedia
Definitions
Relations
Sources
PT
Verificação formal é a prova matemática da conformidade de um algoritmo a certa especificação formal ou propriedade, usando métodos formais. Wikipedia
OBJECTIVE OF PROJECT OR ACTION