Assistant to the Proof Assistant

Research

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

← Home