direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Up to now, correctness studies on distributed systems are often based on informal or semi-formal methods.  Our vision is to systematically employ techniques from the areas of formal semantics and mathematical logics, as they  have been developed over the last 30 years in the field of Concurrency Theory.  Moreover, in the end, the correctness of distributed systems shall not only be proved using "pencil and paper", but be mechanically (read: automatically) checkable by means of computer-assisted proof tools.

Already today, it has become quite clear that the exploitation of theories for distributed systems is not limited to distributed computer applications.  Concrete applications in areas as different as Business Process Modeling and Systems Biology indicate very promising application domains for the basic research that we pursue in our group.

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions