Exercises about procedures and functions in Dafny

13 Outubro 2021, 15:00 • Antónia Lopes

Exercises2 (Dafny&Hoare): 4,5,6,8

Exercises on Hoare Calculus and Dafny

6 Outubro 2021, 18:30 • Antónia Lopes

Exercises1 (Hoare) : 2(q), 6, 7, 8
Exercises2 (Dafny&Hoare): 1,2

Mechanising Deductive Verification

6 Outubro 2021, 16:30 • Antónia Lopes

Mechanising Deductive  Verification 

• Introduction to Dafny 
• Hoare calculus in Dafny
• Weakest precondition calculus
• Dafny architecture

Exercises on Hoare Calculus and Dafny

6 Outubro 2021, 15:00 • Antónia Lopes

Exercises1 (Hoare) : 2(q), 6, 7, 8
Exercises2 (Dafny&Hoare): 1,2

Exercises on Hoare Calculus II

29 Setembro 2021, 18:30 • Antónia Lopes

Exercises1 (Hoare Calculus) : 2&3(t), {n≥0}Fact{f=n!}