118 citations · 344 across the 22 of their papers we have counts for
1 paper · 1 filter
Bernd Finkbeiner, Markus N. Rabe, César Sánchez
Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths. Standard temporal logic…