Artificial intelligence

Scientific journal

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Search by:

Year of publication
Author name
Paper title

Interactive System for Analysis of Formal Model Behavior

Kolchin A.1, Chetvertak R.2
1 V.M. Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine
2 ISS Soft Ltd

Full text (PDF)

UDC: 004.4'233+004.415.53
Publication Language: Russian
Stuc. intelekt. 2012; 17(4):330-341

Abstract: 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.

Keywords: model checking, debugging

References:

View full text (PDF)