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