$to\ check\ synchronization\ between\ processes\ have\ to\ consider\ few\ points$
- mutual exclusion
- bounded wait
- progress
$\ to\ check\ this\ have\ to\ execute\ code\ number\ of\ times\ but\ few\ programs\ give\ correct\ result\\$
$certain\ amount\ of\ times.\ In\ terms\ of\ mathematics, it\ is\ similar\ to\ finding\ a\ counter\ example.\\$
$to\ use\ infinite\ loop\ we\ try\ to\ find\ more\ accurate\ code\ for\ concurrency\\$
$It\ would\ need\ a\ significant\ amount\ more\ in-depth\ understanding\ of\ the\ situation\ to\\$
$determine\ why\ an\ infinite\ loop\ was\ selected\ in\ a\ certain\ situation.$