Gamla tentor TDDE34 2024 – Software Verification | Linköpings universitet