Deductive Software Verification II
29 Setembro 2021, 16:30 • Antónia Lopes
Deductive Software Verification II
- Hoare logic (cont'd):
- Right weakening, skip, sequential composition, conditionals, loops
- Proving termination
- Soundness and completeness
- Pros & Cons