Voting: - 5 +
'No more than k threads are in the critical section at once'
You can achieve that by just not running any threads.
'No patient is ever given the wrong medication'.
That's also easy. You just take away Obamacare.
— Lorenzo Alvisi, Talking about Safety Properties in CS4410 · Feb. 14, 2017