Шукати за:
Роком видання
Автором
Назвою статті
Static Requirements Checking and Approaches to Reachability Problem
Повний текст (PDF)
УДК: 519.685.4
Мова публікації: Російська
Stuc. intelekt. 2009; 14; (1):192-197
Анотація: A method of static analysis is suggested for the systems represented in a form of basic protocols. Algorithms of checking properties of the system are built for consistency and completeness, satisfiability of safety conditions. The problem of search and reachability of states of the system where given properties broken is considered. Approaches to reachability problem solution are suggested using as static analysis as model checking methods.
Ключові слова:
Посилання:
Переглянути повний текст статті (PDF)