Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs.
Ling ZhuSandeep S. KulkarniPublished in: GECCO (2015)
Keyphrases
- fault tolerant
- model checking
- evolutionary computing
- distributed systems
- fault tolerance
- temporal logic
- finite state machines
- temporal properties
- genetic programming
- formal specification
- model checker
- computational intelligence
- formal verification
- computation tree logic
- automated verification
- load balancing
- epistemic logic
- soft computing
- symbolic model checking
- verification method
- multi objective
- swarm intelligence
- genetic algorithm
- bounded model checking
- evolutionary algorithm
- fuzzy systems
- artificial immune system
- mobile agents
- fuzzy logic
- artificial intelligence
- particle swarm optimization pso
- particle swarm optimization
- optimization algorithm
- transition systems
- multilayer perceptron
- evolutionary computation
- data mining