Например, Бобцов

ПРИМЕНЕНИЕ АППАРАТА КУБИЧЕСКИХ ПОКРЫТИЙ ДЛЯ ГАРАНТИРОВАННОГО ОБНАРУЖЕНИЯ НДВ

Аннотация:

Рассматриваются графо-аналитические модели программ. Предлагается новый подход к верификации программ на основе алгебро-топологических свойств кубических покрытий, построенных по графоаналитическим моделям.

Ключевые слова:

Статьи в номере