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.
- Μέρος του λόγου: noun
- Κλάδος/Τομέας: Υπολογιστές; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Δημιουργός
- artemis
-
(Gold) 1356 points - 100% positive feedback
