Exploration Strategies for Model Checking with Ant Colony Optimization.
Tsutomu KumazawaMunehiro TakimotoYasushi KambayashiPublished in: ICCCI (2021)
Keyphrases
- ant colony optimization
- model checking
- temporal logic
- metaheuristic
- swarm intelligence
- ant colony
- temporal properties
- ant colony optimization algorithm
- aco algorithm
- particle swarm optimization
- traveling salesman problem
- formal verification
- model checker
- nature inspired
- ant colony algorithm
- ant colonies
- symbolic model checking
- aco algorithms
- automated verification
- timed automata
- epistemic logic
- genetic algorithm
- verification method
- computation tree logic
- search strategies
- formal specification
- artificial ants
- transition systems
- formal methods
- linear temporal logic
- bounded model checking
- mathematical model
- pheromone trails
- reactive systems
- concurrent systems