Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic.
Yan MaZining CaoYang LiuPublished in: Int. J. Softw. Eng. Knowl. Eng. (2016)
Keyphrases
- model checking
- pso algorithm
- particle swarm optimization
- particle swarm optimization pso
- global optimization
- temporal logic
- particle swarm optimization algorithm
- formal verification
- particle swarm optimisation
- convergence speed
- formal specification
- temporal properties
- simulated annealing
- finite state
- model checker
- automated verification
- particle swarm
- epistemic logic
- computation tree logic
- adaptive particle swarm optimization
- optimal solution
- multi objective
- symbolic model checking
- verification method
- dynamic programming
- genetic algorithm ga
- formal methods
- search algorithm
- differential evolution
- genetic algorithm
- optimization algorithm
- metaheuristic
- concurrent systems
- timed automata
- bounded model checking
- expert systems
- tabu search
- transition systems