0 / 60 seg.

Technology exists that allows us automatically to check whether our specifications are satisfied, whether that program does what it should do.