'No more than k threads are in the critical section at once'
— Lorenzo Alvisi
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.
Talking about Safety Properties in CS4410
Feb. 14, 2017