Shared collection

Software · L5 · Hoare Logic & Program Verification

Sign in to clone

Graduate-level program verification: Hoare triples and proof rules, loop invariants, partial vs. total correctness, the weakest-precondition calculus, and separation logic.

by @openstemUpdated Software
Software · L5 · Hoare Logic & Program Verification
Flashcard · 8 cards · 8h ago
Software
Software · L5 · Hoare Logic & Program Verification
Note · 8h ago
Software
Software · L5 · Proving a While Loop Correct
Flowchart · 8h ago
Software
Software · L5 · Hoare Logic & Program Verification
Quiz · 8 questions · 8h ago
Software

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