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

• Veröffentlicht in: Штучний інтелект
• Datum: 2012
• Hauptverfasser: Колчин, А.В., Четвертак, Р.В.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут проблем штучного інтелекту МОН України та НАН України 2012
• Schlagworte: Интеллектуальные системы планирования, управления, моделирования и принятия решений
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/57758
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Интерактивная система для анализа поведения формальных моделей программных систем / А.В. Колчин, Р.В. Четвертак // Штучний інтелект. — 2012. — № 4. — С. 330-341. — Бібліогр.: 18 назв. — рос.

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