Modular verification of synchronization with reentrant locks

Bultan T., Yu F., Can A.

8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010, Grenoble, France, 26 - 28 July 2010, pp.59-68, (Full Text)

• Publication Type: Conference Paper / Full Text
• Doi Number: 10.1109/memcod.2010.5558623
• City: Grenoble
• Country: France
• Page Numbers: pp.59-68
• Open Archive Collection: AVESIS Open Access Collection
• Middle East Technical University Affiliated: Yes