Scientific and technical journal of information technologies, mechanics and optics
Download PDF0 Kbyte
Method of automatic dynamic verification of Mealy finite state machines system based on alternating automat traversal. Structure of method, rules of building protocols and specification are described. Functional characteristics of this method are analysed on the base of its implementation.