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