ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню

11
Содержание
том 61 / НОЯБРЬ, 2018
СТАТЬЯ
УДК 004.056.53

КРИЗИС ПРОМЫШЛЕННОЙ ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ, НЕДЕКЛАРИРОВАННЫЕ ВОЗМОЖНОСТИ И DON’T CARE

Немолочнов О. Ф.
Университет ИТМО; зав. кафедрой


Осовецкий Л. Г.
Университет ИТМО; профессор


Читать статью полностью 

Аннотация. Рассматриваются вопросы верификации вычислительных процессов по графоаналитическим моделям, управляемых частично-определенными булевыми функциями. Исследуются задачи поиска по булеву графу управления и кубическим покрытиям недекларированных возможностей и мертвого кода как следствия don’t care. Приведены примеры построения покрытий для булева графа и верификация don’t care в виде покрытия конъюнкции отношений-неравенств, тождественно равных нулю.
Ключевые слова: технология программирования, недекларированные возможности, верификация, мертвый код, угрозы безопасности