Deductive Software Verification I

17 Setembro 2025, 16:30 • Antónia Lopes

• 
  
  • Logic recap:
    • Syntax, Semantics
    • Validity, Satisfiability
    • Proof System 
    • Examples: propositional and first-order logic
  • Hoare logic:
    • Hoare triples 
    • Deductive system for partial correctness
    • Proofs represented as trees and annotated programs

---

Tools tour

10 Setembro 2025, 18:30 • Antónia Lopes

• Quick tour of the tools required for the course assignments and how to use the tools in some simple examples

---

Introduction

10 Setembro 2025, 16:30 • Antónia Lopes

• 
  
  • Synopsis, including objectives, bibliography, effort required to complete the course, and grading
  • Overview of the major topics covered in the course

---