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.
refutation model checking state space explosion pso gsa graph transformation system