Rewriting-Based Runtime Verification for Alternation-Free HyperLTL

Noel Brett, Umair Siddique, Borzoo Bonakdarpour
January 2017
PDF
Type
Conference paper
Publication
TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems