Methods for Computer-Assisted Linearizability Verification of Implementations of Concurrent Data Structures

  • Avraham Hayoun

Student thesis: Doctoral Thesis

Date of Award2023
Original languageEnglish
Awarding Institution
  • Ben-Gurion University of the Negev
SupervisorUri Abraham (Supervisor) & Gera Weiss (Supervisor)

Cite this

'