Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving.

Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Browse the full FMICS paper archive.