SCENARIO-BASED FINITE STATE MACHINE INDUCTION USING SAT-SOLVERS

Ulyantsev Vladimir Igorevich, Fedor Tsarev

2012 , VOLUME 12, NUMBER 1 ( JANUARY-FEBRUARY )

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

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

SCENARIO-BASED FINITE STATE MACHINE INDUCTION USING SAT-SOLVERS

V. I. Ulyantsev, F. Tsarev

Read the full article

Abstract

The article deals with the method of finite state machine induction by test scenarios using SAT-solvers. Successful application of the method to the induction of alarm clock finite state machine is shown. Induction of appropriate finite state machine is consistent and algorithm operation time is less than one second of CPU time on average personal computer.

Keywords: finite state machines, machine learning, SAT.

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