Menu
Publications
Editor-in-Chief
Nikiforov
Vladimir O.
D.Sc., Prof.
Partners
METHODS OF AUTOMATA-BASED PROGRAMS VERIFICATION
Read the full article
';
Abstract
This article discusses ways of converting automata-based programs to Kripke models, designed to check the properties related to the behavior of the system. These properties are described with temporal logic formulas. Several methods of such a transformation are proposed.
Keywords:
program verification, model checking, automata-based programming
