Home > Term: sistema de verificación automatizada
sistema de verificación automatizada
(1) Una herramienta de software que acepta como entrada un programa informático y una representación de su especificación y produce, posiblemente con ayuda humana, una prueba o refutación de la exactitud de la program.~(2) cualquier herramienta de software que automatiza la parte o la totalidad del proceso de verificación.
- Jenis Kata: noun
- Industri / Domain: Komputer; Perangkat lunak
- Kategori: Software engineering
- Organization: IEEE Computer Society
0
Penulis
- Ashley2003
- 100% positive feedback
(Bilbao, Spain)