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