Запис Детальніше

Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем

Vernadsky National Library of Ukraine

Переглянути архів Інформація
 
 
Поле Співвідношення
 
Title Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем
 
Creator Колчин, А.В.
 
Subject Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем
 
Description В основе предложенного метода лежит алгоритм отсечения избыточных по отношению к проверяемым
свойствам ветвей поведения формальной модели. Факт избыточности устанавливается на основании
доказательства изоморфизма на графе информационных зависимостей модели. Во многих случаях такой
подход существенно сокращает эффект «комбинаторного взрыва» количества состояний.
В основі запропонованого методу лежить алгоритм відсікання надлишкових по відношенню до
властивостей, що перевіряються, гілок поведінки формальної моделі. Факт надмірності встановлюється
на підставі доказу ізоморфізму на графі інформаційних залежностей моделі. В багатьох випадках
такий підхід істотно зменшує ефект «комбінаторного вибуху» кількості станів.
The core of the proposed method is an algorithm for cutting of formal model behavior branches, which are redundant
with respect to verified properties. The fact of redundancy is derived basing on proof of isomorphism on the
model’s informational dependency graph. In many cases, such approach significantly reduces «state space
combinatorial explosion» effect.
 
Date 2015-07-19T19:18:27Z
2015-07-19T19:18:27Z
2013
 
Type Article
 
Identifier Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем / А.В. Колчин // Искусственный интеллект. — 2013. — № 4. — С. 113–126. — Бібліогр.: 19 назв. — рос.
1561-5359
http://dspace.nbuv.gov.ua/handle/123456789/85153
004.832.23+004.942
 
Language ru
 
Relation Искусственный интеллект
 
Publisher Інститут проблем штучного інтелекту МОН України та НАН України