Symbolic Stream Runtime Verification with Future

Problem Statement - Beschreibung

Monitoring under Uncertainties and Assumptions are relevant topics of current research in the field Runtime Verification.

Symbolic Runtime Verification is an approach to tackle these aspects in Stream Runtime Verification Languages with the help of symbolic calculations, but is yet restricted to past-only specifications.

The goa of this thesis is to work out the details of Symbolic Stream Runtime Verification under future References by precalculation of future events symbolically and application of widening techniques known from Abstract Interpretation to cope with infinite unrollings.