Reentrant Readers-Writers – a Case Study Combining Model Checking with Theorem Proving –

by Bernard Van Gastel , Leonard Lensink , Sjaak Smetsers , Marko Van Eekelen