Using Graph Transformations and Graph Abstractions for Software Verification