Бұл жүйе шарттар мен ережелерге сүйеніп, ықтимал ақауды анықтауға көмектеседі. Пайдаланушы мәселені сипаттайды, ал жүйе сәйкес ережені қолданып, тексеруге ұсынылатын компонентті көрсетеді.