22 citations · 22 across the 1 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…