This paper proposes an incremental optimization framework for verifying graph transformation systems to overcome the state space explosion (SSE). SSE refers to the exponential growth of the number of possible states in a system during its verification. The framework maps the verification problem to a search problem and incrementally generates the state space. https://mabelandfoxs.shop/product-category/suitcase/