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

• Published in: Штучний інтелект
• Date: 2012
• Main Authors: Колчин, А.В., Четвертак, Р.В.
• Format: Article
• Language: Russian
• Published: Інститут проблем штучного інтелекту МОН України та НАН України 2012
• Subjects: Интеллектуальные системы планирования, управления, моделирования и принятия решений
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/57758
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Интерактивная система для анализа поведения формальных моделей программных систем / А.В. Колчин, Р.В. Четвертак // Штучний інтелект. — 2012. — № 4. — С. 330-341. — Бібліогр.: 18 назв. — рос.

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