Verifikation nicht-regulärer Eigenschaften

• Applicant: Professor Dr. Martin Lange
• Subject Area: Theoretical Computer Science
• Term: from 2005 to 2010
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants