Algorithmic Program Verification
As always, it is up to your supervisor to decide if you get course credits and how many.
