A Framework for the Verification of Infinite-State Graph Transformation Systems