Deductive Software Verification I

26 Setembro 2017, 16:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

• Proof systems
• First order logic
• Partial vs total correctness
• Hoare logic