AUTOMATIC DYNAMIC VERIFICATION OF AUTOMATA-BASED PROGRAMS

Oleg Stepanov

2008 , VOLUME 08, NUMBER 8 ( April )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

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

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License