Browsing by Subject "Wait-notify"

Now showing items 1-1 of 1

    • Verification of sequential and concurrent libraries 

      Deshmukh, Jyotirmoy Vinay (2010-08)
      The goal of this dissertation is to present new and improved techniques for fully automatic verification of sequential and concurrent software libraries. In most cases, automatic software verification is plagued by ...
      University of Texas at Austin Libraries
      • facebook
      • twitter
      • instagram
      • youtube
      Subscribe to our NewsletterGive to the Libraries

      © The University of Texas at Austin