Шукати за:
Роком видання
Автором
Назвою статті
Interactive System for Analysis of Formal Model Behavior
Повний текст (PDF)
УДК: 004.4'233+004.415.53
Мова публікації: Російська
Stuc. intelekt. 2012; 17; (4):330-341
Анотація: The purpose of the work is development of methods and tools for automation of analysis and reduction of understanding complexity of the behavior of formal models. The methods for faults localization and relevant elements identification based on analysis of informational dependency are proposed. Also, interactive methods for decomposition of hard-to-understand behavior of intra- and inter-components interactions are described. Prototype of a software tool, which implements the methods, is developed.
Ключові слова: model checking, debugging
Посилання:
Переглянути повний текст статті (PDF)