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

• Дата: 2012
• Автори: Колчин, А.В., Четвертак, Р.В.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Інститут проблем штучного інтелекту МОН України та НАН України 2012
• Назва видання: Штучний інтелект
• Теми: Интеллектуальные системы планирования, управления, моделирования и принятия решений
• Онлайн доступ: http://dspace.nbuv.gov.ua/handle/123456789/57758
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Интерактивная система для анализа поведения формальных моделей программных систем / А.В. Колчин, Р.В. Четвертак // Штучний інтелект. — 2012. — № 4. — С. 330-341. — Бібліогр.: 18 назв. — рос.

Цель работы – разработка инструментальных средств для автоматизации анализа и упрощения понимания поведения формальных моделей. Предложены методы локализации причин нарушения проверяемых свойств и вычленения релевантных элементов на основе аналитического установления фактических информационных связе...