~gdanix/FormalMethodsMasterThesis

My Formal Methods in Computer Science Master thesis about verification of dynamic programming algorithms 
Update guix-manifest.scm
Corrections to the slides
Add presentation

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~gdanix/FormalMethodsMasterThesis
read/write
git@git.sr.ht:~gdanix/FormalMethodsMasterThesis

You can also use your local clone with git send-email.

#DP-verification

A verified implementation of some Dynamic Programming algorithms in Dafny

#Structure

  • Code: The Dafny implementation of the algorithms
  • Code/generalized: Better not to care about this for now
  • Thesis: The thesis document written in LaTeX
  • guix-manifest: Manifest file for the Guix package manager, that installs the required packages to build both Dafny (it's not packaged in Guix) and the thesis document