ECBS
2000
IEEE
14 years 4 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...