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

  • Wouter R.M. Schols

Student thesis: Master

Abstract

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

Cite this

'