Technology exists that allows us automatically to check whether our specifications are satisfied, whether that program does what it should do.
Il existe des technologies qui vous permettent de vérifier automatiquement si vos spécifications sont satisfaites, si le programme fait ce qu'il est censé faire.