VERTEILTE SYSTEME | ConcurSys

Wir untersuchen Nebenläufigkeit, Replay, Protokollverhalten und Fehlerbehandlung über Maschinen hinweg. Grundlage sind das Koordinationsmodell des Systems und die zu validierenden Eigenschaften, ohne Garantien über das vereinbarte Design hinaus anzunehmen.

info@concursys.io