Projects for the Program Verification Master's course in Computer Science at the Technical University of Denmark (DTU).

• Project A involves the development of an automated verification tool for a small imperative programming language called MicroViper, a subset of Viper (ETH Zurich).
• Project B focuses on using Viper to solve verification challenges and develop new verification methodologies.