A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations

- 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.