Formal Verification of Constant-Space Quicksort

  • Adrian-Stefan Mareş

Student thesis: Master

Date of Award24 Sept 2021
Original languageEnglish
SupervisorTom Verhoeff (Supervisor 1) & Cornelis (Kees) Huizing (Supervisor 2)

Keywords

  • Dafny

Cite this

Documents

  • Mares, A

    File: application/pdf, 376 KB

    Type: Thesis

'