• Класифікатори
• верифікація, верификация, verification

верифікація програм, верификация программ

Документи:

• Сертифікація, стандартизація та правовий захист програмних засобів [Електронний ресурс] [Текст] : лабораторний практикум для студ. освіт. ступ. "Магістр" спец. 122 "Комп'ютерні науки" освіт.-проф. програм: "Інформаційні управляючі системи та технології", "Комп`ютерний еколого-економічний моніторинг" ден. форми навч. / уклад. : Л. Г. Загоровська, М. В. Гладка ; Нац. ун-т харч. технол. — Київ : НУХТ, 2018. — 44 с. — каф. інформаційних систем.
• Хоггер, Кристофер Джон
  Введение в логическое программирование [Текст] : Пер. с англ. / К. Хоггер ; Ред. Ю.И. Янова. — М. : Мир, 1988. — 368 с. — ISBN 5-03-000490-4.