1 citations · 1 across the 8 of their papers we have counts for
1 paper · 1 filter
Yoav Ben Shimon, Ori Lahav, Sharon Shoham
Reasoning about hyperproperties of concurrent implementations, such as the guarantees these implementations provide to randomized client programs, has been a long-standing challeng…