Обсуждение:Автоматическое доказательство

как это используется для проверки процессоров?