Verifikation nicht-regulärer Eigenschaften

• Antragsteller: Professor Dr. Martin Lange
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2005 bis 2010
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 16789390

Bislang hat sich die Verifikation verteilter, reaktiver, etc. Systeme auf das Beweisen von ¿ im Sinne der formalen Sprachen ¿ regulären Eigenschaften konzentriert. Im Rahmen dieses Projektes soll der Bereich derjenigen Eigenschaften, die automatisch durch Model Checking verifiziert werden können, ausgedehnt werden. Dies beinhaltet die Definitionen entsprechender Logiken und Model Checking Algorithmen für diese, deren Optimierungen sowie ihre theoretische wie auch experimentelle Validierung im Hinblick auf ihre Benutzbarkeit.

• DFG-Verfahren: Sachbeihilfen