(1) ПЗ інструмент, який приймає як вводу, комп'ютерні програми та представлення його специфікації і виробляє, можливо, з людського довідки, її доведення або спростування коректність на program.~(2) будь-який інструмент програмного забезпечення, яка автоматизує частини або всіх процес перевірки.