Зображення обкладинки

Верификация программ: состояние, проблемы, экспериментальные результаты. II

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблеми програмування
Дата:	2014
Автор:	Максимец, А.Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2014
Теми:	Верифікація програм
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/86742
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Верификация программ: состояние, проблемы, экспериментальные результаты. II / А.Н. Максимец // Проблеми програмування. — 2014. — № 1. — С. 76-89. — Бібліогр.: 7 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Верификация программ: состояние, проблемы, экспериментальные результаты. I
за авторством: Максимец, А.Н.
Опубліковано: (2013)

Верификация программ: состояние, проблемы, результаты. II
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)

Верификация программ: состояние, проблемы, результаты. I
за авторством: Крывый, С.Л., та інші
Опубліковано: (2013)

Подход к структурному тестированию программ с использованием генетического алгоритма
за авторством: Слабоспицкая, О.А., та інші
Опубліковано: (2012)

Алгебро-динамические модели для распараллеливания программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2010)

Средства сервисно-ориентированного программирования параллельных программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)

Электромагнитная эмиссия литосферы: новые экспериментальные результаты и анализ проблемы
за авторством: Шуман, В.Н.
Опубліковано: (2010)

Дослідження біометричної верифікації користувача на основі автокодерів з перевірками руху
за авторством: Havrylovych, Mariia, та інші
Опубліковано: (2022)

Оцінювання якості консолідованих даних
за авторством: Шаховська, Н.Б.
Опубліковано: (2014)

МАТЕМАТИЧНА МОДЕЛЬ РЕАКТИВНИХ ДВИГУНІВ МАЛОЇ ТЯГИ НА «ЗЕЛЕНОМУ» ПАЛИВІ ТА ЇЇ ВЕРИФІКАЦІЯ
за авторством: TIMOSHENKO, V. I., та інші
Опубліковано: (2025)

Дослідження гібридних автокодувальників з використанням трансформерів для біометричної верифікації користувача
за авторством: Havrylovych, Mariia, та інші
Опубліковано: (2023)

Програмне забезпечення SERC для аналізу похибки оцінки надійності відмовостійких реконфігуровних багатопроцесорних систем
за авторством: Фесенюк, А.П.
Опубліковано: (2016)

Формальная верификация диаграммы классов
за авторством: Литвинов, В.В., та інші
Опубліковано: (2013)

Вдосконалення прогнозу щільності залишкових дефектів програмних систем за допомогою байєсової мережі та дерева цінності
за авторством: Слабоспицька, О.О.
Опубліковано: (2009)

Проектирование и физическая верификация цифровых устройств на ПЛИС
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2008)

Создание развитых интернет-программ на примере построения виджет-программ
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2011)

Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
за авторством: Зайцев, Д.А., та інші
Опубліковано: (2010)

Особенности реализации средств трансформационного синтеза параллельных алгоритмов
за авторством: Мохница, А.С., та інші
Опубліковано: (2009)

Разработка високопараллельних приложений для графических ускорителей с использованием переписывающих правил
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)

К вопросу о производительности распределенных хранилищ объектов данных в памяти ОЗУ
за авторством: Рухлис, К.А., та інші
Опубліковано: (2015)

Высокоуровневые средства автоматизации проектирования параллельных алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)

Формалізоване проектування та синтез паралельних програм для відеографічних прискорювачів
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2013)

Фреймворк для розробки високорівневих Grid-застосувань
за авторством: Пріла, О.А.
Опубліковано: (2014)

Розробка сервісно-орієнтованих засобів для запуску паралельних програм на мультипроцесорному кластері
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2014)

До створення Інтернет-порталу надання послуг метеорологічного прогнозування на мультипроцесорній платформі
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2015)

Мультиасемблерна мова програмування
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Використання засобів моделювання для визначення оптимальних параметрів виконання програм на відеографічних прискорювачах
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2013)

Паралельна розподілена реалізація модуля керування робочими процесами для системи підтримки операцій оператора зв’язку
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2015)

Параллельные алгоритмы выполнения массовых вычислений в нейронных сетях
за авторством: Анисимов, А.В., та інші
Опубліковано: (2008)

Високопродуктивний пакетний добуток матриць афінних перетворень за допомогою Android NDK та JNI
за авторством: Ашур, І.З., та інші
Опубліковано: (2018)

Створення методики проектування застосувань для програмно-апаратної платформи CUDA
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2013)

Метод паралелізації циклів сіткових обчислювальних задач для графічних прискорювачів
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2017)

Ігрова модель взаємодії користувачів у гетерогенних розподілених середовищах
за авторством: Ігнатенко, О.П., та інші
Опубліковано: (2015)

Підхід до реалізації інтерфейсів кластерних систем
за авторством: Мар’яновський, В.А., та інші
Опубліковано: (2009)

Верификация и валидация программируемых управляющих систем атомных станций
за авторством: Алпеев, А.С.
Опубліковано: (2010)

Метод управління дворівневим сховищем віртуалізованого центру обробки даних
за авторством: Жаріков, Е.В.
Опубліковано: (2018)

Використання мереж Петрі для проектування паралельних застосувань
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2013)

Метод побудови паралельних систем нечіткого логічного виведення на основі графічних прискорювачів
за авторством: Єршов, С.В., та інші
Опубліковано: (2017)

Ренесанс використання моделі акторів до побудови паралельних та розподілених застосунків
за авторством: Глибовець, М.М., та інші
Опубліковано: (2015)

Состояние и перспективы развития концепций и программ эксплуатации ядерной энергетики Украины
за авторством: Билей, Д.В., та інші
Опубліковано: (2007)