Advanced Software Analysis

This repository compiles the different activities that have been carried out during the Advanced Software Analysis course at the IT University of Copenhagen during Fall 2020: mainly class notes and assignments.

Class notes

A. Modern Software Techniques for Testing, Automated Verification, and Program Analysis

Based on Prof. Zhoulai Fu's course material.

1. Modern Software Techniques for Automated Testing
2. Modern Software Techniques for Automated Verification
3. Modern Software Techniques for Program Analysis

B. Type-Driven Development

• Week 6
• Week 7
• Week 8
• Week 9