ഒരു ഉൽപ്പന്നം എല്ലാ സാഹചര്യങ്ങളിലും ശരിയായി പ്രവർത്തിക്കുന്നുവെന്ന് സ്ഥാപിക്കുവാൻ സാധ്യമല്ല
ഒരു ഉൽപ്പന്നം എല്ലാ സാഹചര്യങ്ങളിലും ശരിയായി പ്രവർത്തിക്കുന്നുവെന്ന് സ്ഥാപിക്കാൻ പരിശോധനയ്ക്ക് കഴിയില്ല, പക്ഷേ നിർദ്ദിഷ്ട സാഹചര്യങ്ങളിൽ അത് ശരിയായി പ്രവർത്തിക്കുന്നില്ലെന്ന് സ്ഥാപിക്കാൻ മാത്രമേ കഴിയൂ.
സോഫ്റ്റ്വെയർ പൂർണ്ണമായും സ്ഥാപിക്കാൻ കഴിയാത്തതെന്താണ്?