Det er muligt at 'forsyne' et program med logiske udtryk (assertions), som fortæller os om programmet opfører sig, som vi forventer
Facilitet som stilles til rådighed af assert.h