A heuristic solution for model checking graph transformation systems

- In software system development, modeling per-se without analysis capabilities is not enough.
- One of the best analysis solutions is model checking.
- The problem is that when state space is too large, model checking cannot be used.
- We suggest using genetic algorithm to avoid searching the entire state space.
- The experimental results of the approach are promising.