Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
метод
метод верифікації, метод верификации
Документи:
Дуравкин, Е. В.
Использование формальных грамматик для верификации алгоритмов управления [Текст] / Е. В. Дуравкин, Е. Б. Коровченко // Радиотехника. – 2010. – № 163. – С. 61-65.
Конфигурируемая система статической верификации модулей ядра операционных систем [Текст] / И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин [и др.] // Программирование. – 2015. – № 1. – С. 44-67.
Кулямин, В. В.
Интеграция методов верификации программных систем [Текст] / В. В. Кулямин // Программирование. – 2008. – № 4. – С. 41-55.
Непомнящий, В. А.
Символический метод верификации финитных итераций над изменяемыми структурами данных [Текст] / В. А. Непомнящий // Программирование. – 2005. – № 1. – 3-14.
Погорілий, С. Д.
Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах [Текст] / С. Д. Погорілий, М. С. Слинько // Кибернетика и системный анализ. – 2020. – Т. 56, № 4. – С. 196-202.
Інформаційно-пошукова система
'УФД/Бібліотека'
