Search by:
Year of publication
Author name
Paper title
Автоматичний метод оперативної побудови абстракцій при верифікації формальних моделей асинхронних систем
Full text (PDF)
UDC: 519.686.2
Publication Language: Russian
Stuc. intelekt. 2008; 13(3): 690-705
Abstract: A method for “on-the-fly” exact abstraction construction for model checking is proposed. The basis of the method is storing of incomplete set of attributes in visited states. Due to this fact the number of needed for model analysis states is substantially smaller. The main algorithms for abstractions building are described. Effectiveness of the method applying is demonstrated with examples. Enhancements needed for temporal properties verification are described.
Keywords:
References:
View full text (PDF)