Formal Verification of a Reader-Writer Lock Implementation in C

@inproceedings{pub4422,
    author = {

Hillebrand, Mark
 and 

Leinenbach, Dirk
},
    title = {Formal Verification of a Reader-Writer Lock Implementation in C},
    booktitle = {Proceedings of the 4th International Workshop on Systems Software Verification. International Workshop on Systems Software Verification (SSV-2009), June 22-24, Aachen, Germany},
    series = {Electronic Notes in Theoretical Computer Science},
    year = {2009},
    volume = {254},
    pages = {123--141},
    publisher = {Elsevier Science B.V.}
}