Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving

✍ Scribed by Bernard van Gastel; Leonard Lensink; Sjaak Smetsers; Marko van Eekelen

• Publisher: Elsevier Science
• Year: 2011
• Tongue: English
• Weight: 415 KB
• Volume: 76
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/j.scico.2010.03.004