Artificial intelligence

Scientific journal

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Search by:

Year of publication
Author name
Paper title

Static Requirements Checking and Approaches to Reachability Problem

Potiyenko S.1
1 V.M. Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine

Full text (PDF)

UDC: 519.685.4
Publication Language: Russian
Stuc. intelekt. 2009; 14(1):192-197

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

Keywords:

References:

View full text (PDF)