Deductive Software Verification
28 Setembro 2022, 16:30 • Antónia Lopes
- Logic
- Syntax, Semantics
- Validity, Satisfiability
- Proof System
- Examples: propositional and first-order logic
- Hoare logic:
- Program analysis as a validity checking problem
- Partial vs total correctness
- Deductive system for partial correctness