Finite state machine induction using genetic algorithm based on testing and model checking

2011 ◽  
Author(s):  
Fedor Tsarev ◽  
Kirill Egorov
Keyword(s):  
Genetic Algorithm ◽  
Model Checking ◽  
Finite State Machine ◽  
State Machine ◽  
Finite State

Power optimization of finite state machine based on genetic algorithm

2003 ◽  
Vol 20 (3) ◽  
pp. 194-201 ◽  
Author(s):  
Yinshui Xia ◽  
A. E. A. Almaini ◽  
Xunwei Wu
Keyword(s):  
Genetic Algorithm ◽  
Finite State Machine ◽  
Power Optimization ◽  
State Machine ◽  
Finite State

scholarly journals Analysis of Genetic Algorithm for synthesis digital systems modeled in finite state machine

2019 ◽  
Vol 6 (7) ◽  
pp. 218-222
Author(s):  
Mateus Ferreira da Silva ◽  
Warley Gramacho da Silva ◽  
Rafael Lima de Carvalho ◽  
Edeilson Milhomem da Silva ◽  
Tiago da Silva Almeida
Keyword(s):  
Genetic Algorithm ◽  
Finite State Machine ◽  
State Machine ◽  
Digital Systems ◽  
Finite State

Model checking of finite-state machine-based scenario-aware dataflow using timed automata

2015 ◽  
Author(s):  
Mladen Skelin ◽  
Erik Ramsgaard Wognsen ◽  
Mads Chr. Olesen ◽  
Rene Rydhof Hansen ◽  
Kim Guldstrand Larsen
Keyword(s):  
Model Checking ◽  
Finite State Machine ◽  
Timed Automata ◽  
State Machine ◽  
Finite State

scholarly journals Application of genetic programming and model checking for finite-state machine induction

2014 ◽  
Vol 4 (15) ◽  
pp. 123 ◽  
Author(s):  
Anatoly Abramovich Shalyto ◽  
Fedor Nikolaevich Tsarev ◽  
Kirill Victorovich Egorov
Keyword(s):  
Model Checking ◽  
Genetic Programming ◽  
Finite State Machine ◽  
State Machine ◽  
Finite State
Sign in / Sign up

Export Citation Format

Share Document