Shared flashcard
Software · L5 · Hoare Logic & Program Verification
Hoare triples, the weakest-precondition calculus, loop invariants, partial vs. total correctness, and soundness/completeness of proof systems.
We use privacy-friendly product analytics (no session recording, PII masked) to improve OpenStem. Load analytics? Privacy Policy