Technology exists that allows us automatically to check whether our specifications are satisfied, whether that program does what it should do.
A tecnologia nos permite verificar automaticamente se nossas especificações são atendidas, se o programa faz o que deveria fazer.