Home > Authorities > Grants > Record #529362
 

DFG project G:(GEPRIS)260261790

Verhaltensäquivalenzen: Umgebungsaspekte, Metriken und generische Algorithmen

CoordinatorProfessorin Dr. Barbara König
Grant period2014 - 2023
Funding bodyDeutsche Forschungsgemeinschaft
 DFG
IdentifierG:(GEPRIS)260261790

Note: Verhaltensäquivalenzen sind ein wichtiges Konzept für die Analyse und Verifikation von nebenläufigen Systemen. Zwei Prozesse oder Systemzustände sind verhaltensäquivalent, wenn sie ununterscheidbar aus Sicht eines externen Beobachters sind. Je nach Fähigkeit diesesexternen Beobachters erhält man verschiedene Äquivalenzen, wie starke und schwache Bisimularität oder Sprachäquivalenz. Solche Äquivalenzen werden verwendet, um ein System mit seiner Spezifikation zu vergleichen, um große Zustandsräume zu minimieren oder umModelltransformationen und kryptographische Protokolle zu verifizieren. Das Ziel dieses Projektes ist es, eine allgemeine Sicht auf den Begriff der Verhaltensäquivalenz zu erhalten, effiziente Algorithmen für spezifische Systeme bereitzustellen und entsprechende Werkzeuge zuentwickeln. Im Vergleich zur ersten Phase des Projekts wird sich die zweite Phase stärker auf quantitative Aspekte, Logik und Spiele konzentrieren.Insbesondere planen wir auf den folgenden Gebieten zu arbeiten:- Grundlagen (Metriken, Bisimulationsspiele, Bisimularität mit stillen Transitionen)- Spezifische Arten von Systemen (gewichtete Automaten, Transitionssysteme mit Bedingungen, Graphtransformationssysteme)- Werkzeuge und Fallstudien (Werkzeug T-Beg für Verhaltensspiele, Werkzeug Paws für die Analyse von gewichteten Systemen, Fallstudien).
   

Recent Publications

There are no publications

 Record created 2023-02-02, last modified 2024-09-27
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)
PUBDB :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.7 | join2_v2511
Maintained by l.pubdb@desy.de

Impressum | Data Privacy Policy