• Published

  VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

• Accepted/In press

  Modular Verification of State-Based CRDTs in Separation Logic

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

• Published

  Modular verification of op-based CRDTs in separation logic

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

View all (30) »