Accueil > Term: sistema de verificação automática
sistema de verificação automática
(1) Uma ferramenta de software que aceita como entrada um programa de computador e uma representação de sua especificação e produz, possivelmente com ajuda humana, uma prova ou refutação da correcção do program.~(2) qualquer ferramenta de software que automatiza a parte ou todo o processo de verificação.
- Partie du discours : noun
- Secteur d’activité/Domaine : Informatique; Logiciels
- Catégorie : Software engineering
- Organization: IEEE Computer Society
0
Créateur
- Iaras
- 100% positive feedback
(Sao Paulo, Brazil)