Deductive Software Verification I
22 Setembro 2021, 16:30 • Antónia Lopes
Deductive Software Verification I
- Logic and Proof systems
- Validity, Satisfiability
- Proof System and Formal theory, Soundness, Completeness
- Hoare logic:
- Program analysis as a validity checking problem
- Partial vs total correctness
- Assignment, left strengthening