117
Voted
MEMOCODE
2010
IEEE
15 years 18 days ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...