Buchumschlag

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

Представлено аналiтичний огляд сучасних методiв верифiкацiї програмного забезпечення послiдовних, функцiональних, паралельних та розподiлених систем. Основну увагу придiлено методам верифiкацiї на основi властивостей абстрактних iнтерпретацiй, транзицiйних систем, мереж Петрi. An analytical survey o...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2013
Hauptverfasser:	Крывый, С.Л., Максимец, А.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2013
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/86285
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Верификация программ: состояние, проблемы, результаты. I / С.Л. Крывый, А.Н. Максимец // Кибернетика и системный анализ. — 2013. — Т. 49, № 6. — С. 3-14. — Бібліогр.: 20 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Верификация программ: состояние, проблемы, результаты. II
von: Крывый, С.Л., et al.
Veröffentlicht: (2014)

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

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

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

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015)

Комбинаторный метод решения систем линейных ограничений
von: Крывый, С.Л.
Veröffentlicht: (2014)

Конечные автоматы в информационных технологиях
von: Крывый, С.Л.
Veröffentlicht: (2011)

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

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

Формальные методы анализа дискретных систем с использованием языка спецификаций
von: Крывый, С.Л., et al.
Veröffentlicht: (2009)

Проблемы трансдисциплинарности и роль информатики
von: Палагин, А.В.
Veröffentlicht: (2013)

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

Информационная технология формирования программ психологического сопровождения учащихся на основе оценки их психофизиологического состояния
von: Козак, Л.М., et al.
Veröffentlicht: (2012)

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

Нечеткие объектно-ориентированные динамические сети. I
von: Терлецкий, Д.А., et al.
Veröffentlicht: (2015)

Теория непрерывных задач оптимального разбиения множеств как универсальный математический аппарат построения диаграммы Вороного и ее обобщений. I. Теоретические основы
von: Киселева, Е.М., et al.
Veröffentlicht: (2015)

Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
von: Марченко, А.А.
Veröffentlicht: (2016)

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

Алгебраически вырожденные приближения булевых функций
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2014)

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

Композиционный подход к проектированию реактивных алгоритмов
von: Чеботарев, А.Н.
Veröffentlicht: (2013)

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

Согласование взаимодействующих автоматов
von: Чеботарев, А.Н.
Veröffentlicht: (2015)

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

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

Проектирование реактивных алгоритмов путем решения уравнений над автоматами
von: Чеботарев, А.Н.
Veröffentlicht: (2012)

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

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

Верхние оценки несбалансированности билинейных аппроксимаций раундовых функций блочных шифров
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2010)

О криптографических свойствах нового национального стандарта шифрования Украины
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2016)

Конструктивно-продукционные структуры и их грамматические интерпретации. I. Обобщенная формальная конструктивно-продукционная структура
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2014)

Метод итеративного построения терминологии в коллекциях научных текстов на украинском языке
von: Глибовец, А.Н., et al.
Veröffentlicht: (2014)

Усовершенствованный метод синтеза автомата по его спецификации в языке L
von: Тимофеев, В.Г., et al.
Veröffentlicht: (2011)

Формальная верификация диаграммы классов
von: Литвинов, В.В., et al.
Veröffentlicht: (2013)

Выделение характеристических признаков изображений с помощью преобразования Радона и возможность его аппаратной реализации в клеточных автоматах
von: Белан, С.Н., et al.
Veröffentlicht: (2013)

Проектирование и физическая верификация цифровых устройств на ПЛИС
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2008)

Построение гамильтонова пути в графах перестановочных многогранников
von: Донец, Г.А., et al.
Veröffentlicht: (2010)

Концепцiя телемедичної системи для експрес-оцiнювання рiвня внутрiшньоочного тиску
von: Каплін, І.В., et al.
Veröffentlicht: (2018)

Композиционно-номинативные аспекты адресного программирования
von: Никитченко, Н.С.
Veröffentlicht: (2009)

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