Deductive Software Verification II

2 Outubro 2019, 16:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

• Hoare logic

Introduction; Deductive Software Verification I

25 Setembro 2019, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

Introduction

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

Deductive Software Verification I

• Proof systems

• First order logic

• Partial vs total correctness
• Hoare logic

Introduction; Deductive Software Verification I

25 Setembro 2019, 16:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

Introduction

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

Deductive Software Verification I

• Proof systems

• First order logic

• Partial vs total correctness
• Hoare logic

Sessão Solene de Abertura do Ano Académico

18 Setembro 2019, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

Sessão Solene de Abertura do Ano Académico

18 Setembro 2019, 16:30 • Vasco Manuel Thudichum de Serpa Vasconcelos