@openstem shared this collection
Software · L5 · Hoare Logic & Program Verification
Graduate-level program verification: Hoare triples and proof rules, loop invariants, partial vs. total correctness, the weakest-precondition calculus, and separation logic.
Software
Updated 0
0