Accueil > Term: automated verification system
automated verification system
(1) A software tool that accepts as input a computer program and a representation of its specification and produces, possibly with human help, a proof or disproof of the correctness of the program.~(2) Any software tool that automates part or all of the verification process.
- Partie du discours : noun
- Secteur d’activité/Domaine : Informatique; Logiciels
- Catégorie : Software engineering
- Organization: IEEE Computer Society
0
Créateur
- artemis
-
(Gold) 1356 points - 100% positive feedback
