Verifying a Behavioural Logic for Graph Transformation Systems