For example,Бобцов

SCENARIO-BASED FINITE STATE MACHINE INDUCTION USING SAT-SOLVERS

Annotation

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

Articles in current issue