35446

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

ДОКАЗАТЕЛЬСТВО ТЕОРЕМ С ПОМОЩЬЮ КВАНТОВОГО ГЕНЕРАТОРА ТЕСТОВ

ISBN/ISSN: 

2073-2597

Наименование источника: 

  • Информационные технологии в проектировании и производстве

Обозначение и номер тома: 

№ 3

Город: 

  • Москва

Издательство: 

  • ФГУП "ВИМИ"

Год издания: 

2015

Страницы: 

77-87
Аннотация
АННОТАЦИЯ к статье Правильщикова П.А. «ДОКАЗАТЕЛЬСТВО ТЕОРЕМ С ПОМОЩЬЮ КВАНТОВОГО ГЕНЕРАТОРА ТЕСТОВ» В статье рассматривается проблема автоматического доказательства теорем с использованием такой модели вычислений как квантовый генератор тестов (КГТ), описание которого и приводится. Предложено использовать квантовый ускоритель, моделью которого является КГТ, для автоматического доказательства теорем. Показано, что автоматизация доказательства теорем является важным и неотъемлемым элементом верификации современных БИС и создания программных комплексов, к надѐжности которых предъявляются повышенные требования. Утверждается, что автоматическое доказательство теорем может быть сведено к решению задачи выполнимости некоторого логического уравнения.

Библиографическая ссылка: 

Правильщиков П.А. ДОКАЗАТЕЛЬСТВО ТЕОРЕМ С ПОМОЩЬЮ КВАНТОВОГО ГЕНЕРАТОРА ТЕСТОВ // Информационные технологии в проектировании и производстве. 2015. № 3. С. 77-87.