Technology exists that allows us automatically to check whether our specifications are satisfied, whether that program does what it should do.
개발자에게는 프로그램이 자신의 명시 사항을 만족하는지, 즉 해야 할 일을 잘 해내는지 자동으로 확인해 주는 기술이 있습니다.