@openstem shared this note
Software · L5 · Hoare Logic & Program Verification
Hoare triples and proof rules, loop invariants, partial vs. total correctness, the weakest-precondition calculus, soundness/relative completeness, and separation logic.
Software
Updated 0
0
Read only
More in Software
Browse Software- Software · L2 · Git & Dev Workflow: Resolving a Merge Conflictnote
- Software · L2 · MongoDB: Replica Sets & Failovernote
- Software · L5 · Compiler Construction Theorynote
- Software · L1 · Operating Systems: The Process Lifecyclenote
- Software · L5 · Type Theory and the λ-Calculusnote
- Software · L2 · PostgreSQL: Replication & High Availabilitynote