首页 > Term: sistema de verificació automàtica
sistema de verificació automàtica
(1) Una eina de programari que accepta com a entrada un programa d'ordinador i una representació de la seva especificació i produeix, possiblement amb l'ajuda humana, una prova o disproof de l'exactitud de la program.~(2) qualsevol eina de programari que automatitza part o tot el procés de verificació.
- 词性: noun
- 行业/领域: 计算机; 软件
- 类别 软件工程
- Organization: IEEE Computer Society
0
创建者
- Carmesina
- 100% positive feedback
(Spain)