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