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.
- Jenis Kata: noun
- Industri / Domain: Komputer; Perangkat lunak
- Kategori: Software engineering
- Organization: IEEE Computer Society
0
Penulis
- artemis
- 100% positive feedback