Software specification and verification tool based on graph rewriting