Tam, tam, doğrulanabilir bir şekilde, gereksinimleri, tasarım, davranış veya diğer özellikleri bir sistem veya bileşen, ve, genellikle, bu hükümler tatmin olması olup olmadığını belirlemek için yordamları belirtir bir belge.