Rewriting-Based Runtime Verification for Alternation-Free HyperLTL

Publication
TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems