Sebuah mekanisme untuk memverifikasi apakah nilai aktual dari variabel pada waktu berjalan sesuai dengan nilai yang diharapkan dari variabel itu. Lihat juga kendala waktu.