Nõuetekohasust tõendav nimetusega, mis osutab, et programmi väljund kinnitusi tulenevad loogiliselt sisendi kinnitusi ja töötlusetappide.