Sumários
Hoare Logic and Dafny
7 Outubro 2016, 18:30 • Antónia Lopes
Exercises aboyt Hoare Logic and Dafny from Problem Set 1 and 2.
Deductive Software Verification II
7 Outubro 2016, 16:30 • Antónia Lopes
- Proving termination
- Soundness and completeness
- Pros & cons
- Compositionality
- Hoare Logic in Dafny
- Architecture of Dafny
- Weakest (Liberal) Preconditions
- Generation of Verification Conditions
Deductive Software Verification I
30 Setembro 2016, 16:30 • Antónia Lopes
- Proof systems
- First order logic
- Partial vs total correctness
- Hoare logic
Introduction
23 Setembro 2016, 16:30 • Antónia Lopes
- Synopsis, including objectives, topics covered, bibliography, expected effort and grading
- Overview of the major topics covered during the semester