1 paper
Bernd Finkbeiner, Ernst-Rüdiger Olderog
Trace properties, which are sets of execution traces, are often used to analyze systems, but their expressiveness is limited. Clarkson and Schneider defined hyperproperties as a ge…