Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
верификация программ
Підтеми:
Документи:
- Бенидзе, Н. Н. Задача оценки верификации (корректности) алгоритмов и компьютерных программ [Текст] / Н. Н. Бенидзе // Оптико-електронні інформаційно-енергетичні технології. – 2010. – № 2. – С. 80-83.
- Булычев, П. Е. Теоретико-игровое средство проверки отношений симуляций [Текст] / П. Е. Булычев // Программирование. – 2011. – № 4. – С. 39--52.
- Генерация тестов для компиляторов и других текстовых процессоров [Текст] / С. В. Зеленов, С. А. Зеленова, А. С. Косачев, А. К. Петренко // Программирование. – 2003. – № 2. – 59-69.
- Кузьмин, Е. В. Применение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ [Текст] / Е. В. Кузьмин // Программирование. – 2008. – № 1. – С. 61-77.
- Липаев, В. В. Методология верификации и тестирования крупномасштабных программных средств [Текст] / В. В. Липаев // Программирование. – 2003. – № 6. – 7-24.
- Алгоритм и инструменты построения кононических форм линейных полуалгебраических формул [Текст] / М. С. Львов, В. С. Песчаненко, А. А. Летичевский [и др.] // Кибернетика и системный анализ. – 2018. – Т. 54, № 6. – С. 159-169.
- На пути к верификации C-программ: трехуровневый подход [Текст] / В. Непомнящий, И. Ануреев, И. Дубрановский, А. Промский // Программирование. – 2006. – № 4. – 4-20.
- Харченко, В. С. Оценка верификации критического программного обеспечения: критерии, модели и реализация [Текст] / В. С. Харченко, С. А. Вилкомир // Управляющие системы и машины. – 2003. – № 6. – 60-68.
|