“…Section 7). For example, using the lockset analysis [9,10,14], we can remove constraints for all pairs other than (r 2 @1, w 1 @9), (r 1 @1, w 2 @9), (r 2 @10, w 1 @3), (r 2 @10, w 1 @5) and (r 2 @10, w 1 @9). This is because other pairs are not reachable simultaneously in the mutually exclusive region, protected by the lock.…”