Deductive Software Verification I

25 Setembro 2024, 18:30 • Antónia Lopes

Exercises 1.1 a, c, e, h; 1.2 c, f, i, k; 1.4 a, b.

---

Deductive Software Verification I

25 Setembro 2024, 16:30 • Antónia Lopes

• Deductive Software Verification I
  • 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

---

Introduction

18 Setembro 2024, 18:30 • Antónia Lopes

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

---

Tour of required tools

18 Setembro 2024, 16:30 • Antónia Lopes

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

---