홈 > 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 engineering
- Organization: IEEE Computer Society
0
작성자
- artemis
-
(Gold) 1356 포인트 - 100% positive feedback
