Graphen, Erkennbarkeit und Verifikation (GaReV)

• Antragstellerin: Professorin Dr. Barbara König
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2010 bis 2016
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 173310673

The aim of this project is to provide verification techniques based on formal language theory and graph theory for graph transformation systems. Many concurrent and distributed systems - especially those with a dynamically evolving topology - can be naturally modelled by graphs and graph transformation rules. Work on the verification of dynamic, graph-like structures has shown that they introduce an additional level of complexity, compared to rule-based systems where states have either a word or tree structure. For the latter kinds of systems, techniques based on formal language theory, especially regular languages and automata, have been quite successful. Our aim is to adapt verification techniques based on formal languages to the graph transformation setting, combine them with results from graph theory and make them work in practice.

• DFG-Verfahren: Sachbeihilfen