Modular verification of synchronization with reentrant locks


Creative Commons License

Bultan T., Yu F., Can A.

8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010, Grenoble, Fransa, 26 - 28 Temmuz 2010, ss.59-68 identifier