Applying Evolutionary Computation Methods to Formal Testing and Model Checking.
Pablo RabanalIsmael RodríguezFernando RubioPublished in: IWANN (1) (2009)
Keyphrases
- evolutionary computation
- model checking
- evolutionary algorithm
- evolutionary approaches
- formal specification
- genetic algorithm
- genetic programming
- formal verification
- computational intelligence
- machine learning and data mining
- formal methods
- multi agent systems
- temporal logic
- finite state machines
- real time
- optimisation problems
- nature inspired algorithms
- metaheuristic
- fuzzy logic
- search algorithm
- machine learning
- neural network