University assignments for Software Verification and Validation