automated verification system
0 sistema de comprobación automática
Herramienta software que acepta como entrada un programa de ordenador y una representación de sus especificaciones, y produce, quizas con ayuda humana, una demostración de su corrección.