Part 2 (Dafny)

2020/2021

• Test 2
  
• Solutions to selected questions + Dafny file

2019/2020

• Test 2
• Solutions to selected questions + Dafny file

2018/2019

• Test 2
• Solutions to selected questions + Dafny file
  
  
• Test 2 - Repescagem
• Solutions to selected questions + Dafny file

Part 1 (Alloy)

• 1718
• • test 2 (which was the Alloy-part at that time)
  • solution test 2
    
• 1819
• • test 1
    
• 1920
• • test 1
  • solution test 1
• 1920
• • test 1
  • solution test 1
    

  
  

  
  

Attachments

• T1-1920.pdf
• T1-1819.pdf
• T2-1718.pdf
• T2-1718-solution.pdf
• solutions1920.txt
• Repescagem-1819.dfy
• T2-1819.dfy
• Test2-1920.dfy
• Solutions to Selected Questions, Test Repescagem, 18_19.pdf
• Solutions to Selected Questions, Test 2, 18_19.pdf
• T2-1819_Rec.pdf
• T2-1819.pdf
• Solutions to Second Test SoftSpec, 19_20.pdf
• T2-1920.pdf
• T2-2021.pdf
• Solutions to Second Test SoftSpec, 20_21.pdf
• T2-2021.dfy
• test1.pdf
• test1sol.zip