Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman. Specification and Verification of Synchronization with Condition Variables. In Cyrille Artho, Peter Csaba Ölveczky, editors, Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers. Volume 694 of Communications in Computer and Information Science, pages 3-19, 2016. [doi]
Abstract is missing.