22 citations · 23 across the 2 of their papers we have counts for
1 paper · 1 filter
Flavio D. Garcia, Peter van Rossum, Ana Sokolova
When studying safety properties of (formal) protocol models, it is customary to view the scheduler as an adversary: an entity trying to falsify the safety property. We show that in…