КРИЗИС ПРОМЫШЛЕННОЙ ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ, НЕДЕКЛАРИРОВАННЫЕ ВОЗМОЖНОСТИ И DON’T CARE
Университет ИТМО; зав. кафедрой
Осовецкий Л. Г.
Университет ИТМО; профессор
Читать статью полностью
Аннотация. Рассматриваются вопросы верификации вычислительных процессов по графоаналитическим моделям, управляемых частично-определенными булевыми функциями. Исследуются задачи поиска по булеву графу управления и кубическим покрытиям недекларированных возможностей и мертвого кода как следствия don’t care. Приведены примеры построения покрытий для булева графа и верификация don’t care в виде покрытия конъюнкции отношений-неравенств, тождественно равных нулю.
Ключевые слова: технология программирования, недекларированные возможности, верификация, мертвый код, угрозы безопасности
