Verification of an iterative implementation of Tarjan’s algorithm for Strongly Connected Components using Dafny

  • Wouter R.M. Schols

Student thesis: Master

Date of Award27 Nov 2020
Original languageEnglish
SupervisorJ.W. (Wieger) Wesselink (Supervisor 1) & Cornelis (Kees) Huizing (Supervisor 2)

Cite this

Documents

  • Schols, W.

    File: application/pdf, 834 KB

    Type: Thesis

'