Nõuetekohasust tõendav nimetusega, mis osutab, et programmi väljund kinnitusi tulenevad loogiliselt sisendi kinnitusi ja töötlusetappide ja et lisaks programm lõpeb vastavalt kõigile määratud sisendi tingimused.