SCENARIO-BASED FINITE STATE MACHINE INDUCTION USING SAT-SOLVERS
Read the full article
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.