AUTOMATIC DYNAMIC VERIFICATION OF AUTOMATA-BASED PROGRAMS

O. . Stepanov


Read the full article 

Abstract

 

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
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика