Now showing items 1-1 of 1

    • Verifying Concurrent Programs by Controlling Alias Interference 

      Gordon, Colin Stebbins
      This dissertation proposes a family of techniques for static verication of sequential and concurrent imperative programs by leveraging fine-grained characterizations of mutation. The key idea is that by attaching to each ...