Logics for distributed Runtime-Verification

for Degree: 
Contact Person: 

A logic for specifying properties of distributed, asynchronous systems is developed in this thesis. It
is intended to use this logic for runtime-verification of previously mentioned systems. The existing
past-time Distributed Temporal Logic (ptDTL), which is used for this area of responsibility, is
taken as basis and a new logic with impartiality, anticipation and three-valued semantics is defined,
properties which ptDTL does not possess. Furthermore an automaton model for formulas of this
new logic and a transformation of this formulas in this model is developed.


This thesis is written in German language.