Skip to main navigation Skip to search Skip to main content

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

    '