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

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

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

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ
за авторством: Подловченко, Р.И.
Опубліковано: (2009)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
за авторством: Визовитин, Н.В., та інші
Опубліковано: (2015)

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

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

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

Проверка эквивалентности программ с помощью двухленточных автоматов
за авторством: Захаров, В.А.
Опубліковано: (2010)

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

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

Нечеткие объектно-ориентированные динамические сети. II
за авторством: Терлецкий, Д.А., та інші
Опубліковано: (2016)

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

Информационная технология формирования программ психологического сопровождения учащихся на основе оценки их психофизиологического состояния
за авторством: Козак, Л.М., та інші
Опубліковано: (2012)

Решение проблемы инвариантности вероятностных характеристик заведомо совместных систем случайных нелинейных уравнений над конечным коммутативным кольцом с единицей
за авторством: Левитская, А.А.
Опубліковано: (2010)

Конструктивно-продукционные структуры и их грамматические интерпретации. II. Уточняющие преобразования
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2014)

Метод автоматического построения онтологических баз знаний. II. Автоматическое определение семантических отношений в онтологической сети
за авторством: Марченко, А.А.
Опубліковано: (2016)

Теория непрерывных задач оптимального разбиения множеств как универсальный математический аппарат построения диаграммы Вороного и ее обобщений. II. Алгоритмы построения диаграмм Вороного на основе теории оптимального разбиения множеств
за авторством: Киселева, Е.М., та інші
Опубліковано: (2015)

Структурные модели алгоритмов в задачах прикладного программирования. II. Структурно-алгоритмический подход к моделированию программного обеспечения
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2009)

Алгебраически вырожденные приближения булевых функций
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2014)

Об эффективности метода вероятностно нейтральных битов в статистическом криптоанализе синхронных поточных шифров
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2016)

Использование согласования логических спецификаций автоматов при решении игровых задач
за авторством: Чеботарев, А.Н.
Опубліковано: (2014)

Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
за авторством: Чеботарев, А.Н.
Опубліковано: (2013)

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

Композиционный подход к проектированию реактивных алгоритмов
за авторством: Чеботарев, А.Н.
Опубліковано: (2013)

Согласование взаимодействующих автоматов
за авторством: Чеботарев, А.Н.
Опубліковано: (2015)

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2010)

Проектирование реактивных алгоритмов путем решения уравнений над автоматами
за авторством: Чеботарев, А.Н.
Опубліковано: (2012)

Улучшенная верхняя граница для относительного расстояния между булевой функцией и множеством k-мерных функций
за авторством: Алексейчук, А.Н.
Опубліковано: (2015)

О классе формул языка L*, специфицирующих автоматы с конечной памятью
за авторством: Чеботарев, А.Н.
Опубліковано: (2010)

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

О криптографических свойствах нового национального стандарта шифрования Украины
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2016)

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

Усовершенствованный метод синтеза автомата по его спецификации в языке L
за авторством: Тимофеев, В.Г., та інші
Опубліковано: (2011)

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

Выделение характеристических признаков изображений с помощью преобразования Радона и возможность его аппаратной реализации в клеточных автоматах
за авторством: Белан, С.Н., та інші
Опубліковано: (2013)

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

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

Композиционно-номинативные аспекты адресного программирования
за авторством: Никитченко, Н.С.
Опубліковано: (2009)

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