Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)