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

Кубические покрытия логических условий вычислительных процессов и программ

Аннотация:

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

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

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