AUTOMATIC DYNAMIC VERIFICATION OF AUTOMATA-BASED PROGRAMS
Read the full article
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.
Keywords: dynamic verification, automata-based programming