ZUKO: HU-Zukunftskonzept: KOSMOS Workshop 1/2013 – Halbordnungsspezifikationen in nebenläufigen Systemen und zeitabhängige Erweiterungen

Dieser Workshop soll die bisherige lose Zusammenarbeit einzelner Wissenschaftler*innen verschiedener Fachrichtungen zu einer festen Kooperation führen. In komplexen Algorithmen ist es häufig erforderlich, spezifische Verhaltenseigenschaften zu gewährleisten, die von konventionellen sequentiellen Spezifikationen nicht abgedeckt werden. Langfristig soll diese Kooperation zur Entwicklung einer umfassenden Methodologie der halbordnungsbasierten Spezifikation und Verifikation von nebenläufigen Prozessen beitragen. Der Workshop wird in Kooperation mit den folgenden Einrichtungen durchgeführt: École normale supérieure de Cachan (Frankreich), École Centrale de Nantes (Frankreich), Sorbonne Université (Frankreich), National Institute for Research in Computer Science and Control, Centre National de la Recherche Scientifique (Frankreich), Institut de Recherche en Communications et Cybernétique de Nantes (Frankreich), Institut de Recherche en Informatique et Systèmes Aléatoires.