Modular verification of synchronization with reentrant locks.

Tevfik Bultan, Fang Yu, Aysu Betin-Can

Browse the full MEMOCODE paper archive.