Shared note

Software · L5 · Hoare Logic & Program Verification

Sign in to clone

Hoare triples and proof rules, loop invariants, partial vs. total correctness, the weakest-precondition calculus, soundness/relative completeness, and separation logic.

by @openstemUpdated Software

We use privacy-friendly product analytics (no session recording, PII masked) to improve OpenStem. Load analytics? Privacy Policy