Technology exists that allows us automatically to check whether our specifications are satisfied, whether that program does what it should do.
Existe la tecnología que nos  permite verificar automáticamente si están satisfechas nuestras especificaciones, si ese programa hace lo que debería hacer.