Deductive Software Verification I

30 Setembro 2016, 16:30 • Antónia Lopes

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