| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6905187 | Applied Soft Computing | 2015 | 14 Pages |
Abstract
- The main problem of model checking is state space explosion.
- One solution to overcome this problem is using meta-heuristic algorithms.
- We propose a hybrid approach based on PSO and GSA to cope with this problem.
- The experimental results show better performance in comparison to other approaches.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science Applications
Authors
Vahid Rafe, Maryam Moradi, Rosa Yousefian, Amin Nikanjam,