Home > 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.
- Part of Speech: noun
- Industry/Domain: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Creator
- artemis
-
(Gold) 1356 points - 100% positive feedback
