Assistant to the Proof Assistant

Tagged “research”

  1. A Formalization of Java's Concurrent Access Modes
  2. Prove Once, Run Efficiently Anywhere
  3. Declarative Fence Insertion

See all tags.